Skip to main content
  • Book
  • © 2023

Enhanced Virtual Prototyping for Heterogeneous Systems

  • Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs

  • Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models

  • Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-031-05574-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book USD 119.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xx
  2. Introduction

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 1-13
  3. Preliminaries

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 15-22
  4. AMS Metamorphic Testing Environment

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 23-44
  5. AMS Enhanced Code Coverage Verification Environment

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 45-86
  6. AMS Enhanced Functional Coverage Verification Environment

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 87-122
  7. Digital Early Security Validation

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 123-154
  8. Conclusion

    • Muhammad Hassan, Daniel Große, Rolf Drechsler
    Pages 155-158
  9. Back Matter

    Pages 159-166

About this book

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security.

  • Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;
  • Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;
  • Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;
  • Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.

Keywords

  • Virtual Prototypes at the Electronic System Level
  • SystemC/AMS-based Virtual Prototypes
  • Formal verification of virtual prototypes
  • Testing for Virtual Prototype Verification
  • Verification using Virtual Prototypes

Authors and Affiliations

  • DFKI GmbH, Bremen, Germany

    Muhammad Hassan

  • Johannes Kepler University of Linz, Linz, Austria

    Daniel Große

  • University of Bremen and DFKI GmbH, Bremen, Germany

    Rolf Drechsler

About the authors

Muhammad Hassan received the B.Sc. degree in Telecommunication engineering from NUCES-FAST University, Islamabad, Pakistan and M.Sc. degree in Communication engineering from RWTH Aachen, Germany, in 2010 and 2015, respectively. He received the Dr.-Ing degree in computer science from the University of Bremen in 2021. Since 2017 he is Researcher at the German Research Center for Artificial Intelligence (DFKI) in Bremen. Additionally, he is working as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen since 2021. His current research interests include verification, virtual prototyping, heterogeneous systems, and blockchain. He received best paper in DVCon Europe 2018.

Daniel Große received the Dr.-Ing. degree in computer science from the University of Bremen in 2008. He remained as a Post-Doctoral Researcher with the Group of Computer Architecture, University of Bremen. In 2010, he was a substitute Professor for computer architecture with the University of Freiburg, Germany. From 2013 to 2014, he was the CEO of the EDA start-up solvertec focusing on automated debugging techniques. After that, until 2020, he was a Senior Researcher at the University of Bremen as well as Scientific Coordinator of the Graduate School System Design funded within the German Excellence Initiative. In addition, he has been working at the German Research Center for Artificial Intelligence (DFKI) since 2015. In July 2020, he became a full professor at the Johannes Kepler University Linz, Austria, where he is the head of the Institute for Complex Systems. His current research interests include verification, virtual prototyping, debugging, synthesis and RISC-V. He published over 150 papers in peer-reviewed journals and conferences in the above areas. Dr. Große served in program committees of numerous conferences, including ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, GLSVLSI, FDL, and MEMOCODE. He received best paper awards (FDL 2007, DVCon Europe 2018, ICCAD 2018 and FDL 2020) as well as business-related awards (IKT Innovativ Award 2013, Weconomy Award 2013, and Embedded Award 2014). He is an IEEE Senior Member and an Allied Member of the Accellera Systems Initiative in the SystemC Verification Working Group.

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focuses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design. He is an ACM Distinguished Member and an IEEE Fellow.

Bibliographic Information

  • Book Title: Enhanced Virtual Prototyping for Heterogeneous Systems

  • Authors: Muhammad Hassan, Daniel Große, Rolf Drechsler

  • DOI: https://doi.org/10.1007/978-3-031-05574-4

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Hardcover ISBN: 978-3-031-05573-7

  • eBook ISBN: 978-3-031-05574-4

  • Edition Number: 1

  • Number of Pages: XX, 166

  • Number of Illustrations: 4 b/w illustrations, 59 illustrations in colour

  • Topics: Electronic Circuits and Systems, Embedded Systems, Electronics Design and Verification

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-031-05574-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book USD 119.99
Price excludes VAT (USA)