Enhanced Virtual Prototyping For Heterogeneous Systems

Author : Muhammad Hassan,Daniel Große,Rolf Drechsler
Publisher : Springer Nature
Page : 181 pages
File Size : 50,7 Mb
Release : 2022-09-01
Category : Technology & Engineering
ISBN : 9783031055744

Get Book

Enhanced Virtual Prototyping for Heterogeneous Systems by Muhammad Hassan,Daniel Große,Rolf Drechsler Pdf

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.

Author : Vladimir Herdt,Daniel Große,Rolf Drechsler
Publisher : Springer Nature
Page : 247 pages
File Size : 53,9 Mb
Release : 2020-10-14
Category : Technology & Engineering
ISBN : 9783030548285

Get Book

Enhanced Virtual Prototyping by Vladimir Herdt,Daniel Große,Rolf Drechsler Pdf

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.

Author : Tom De Schutter
Publisher : Happy About
Page : 196 pages
File Size : 42,6 Mb
Release : 2014-03-17
Category : Computers
ISBN : 9781617300134

Get Book

Better Software. Faster! by Tom De Schutter Pdf

The recent rise of "smart" products has been made possible through tight co-design of hardware and software. The growing amount of software and hence processors in applications all around us allows for increased flexibility in the application functionality through its life cycle. Not so long ago a device felt outdated after you owned it for a couple of months. Today, a continuous stream of new software applications and updates make products feel truly "smart". The result is an almost magical user experience where the same product can do more today than it could do yesterday.

In this book we dive deep into a key methodology to enable concurrent hardware/software development by decoupling the dependency of the software development from hardware availability: virtual prototyping. The ability to start software development much earlier in the design cycle drives a true "shift-left" of the entire product development schedule and results in better products that are available earlier in the market.

Throughout the book, case studies illustrate how virtual prototypes are being deployed by major companies around the world. If you are interested in a quick feel for what virtual prototyping has to offer for practical deployment, we recommend picking a few case studies to read, before diving into the details of the methodology.

Of course, this book can only offer a small snapshot of virtual prototype use cases for faster software development. However, as most software bring-up, debug and test principles are similar across markets and applications, it is not hard to realize why virtual prototypes are being leveraged whenever software is an intrinsic part of the product functionality, after reading this book.

Author : Vladimir Herdt,Daniel Große,Rolf Drechsler
Publisher : Unknown
Page : 0 pages
File Size : 42,6 Mb
Release : 2021
Category : Electronic
ISBN : 3030548295

Get Book

Enhanced Virtual Prototyping by Vladimir Herdt,Daniel Große,Rolf Drechsler Pdf

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects. Provides a comprehensive set of techniques to enhance all key aspects of a Virtual Prototype (VP)-based design flow Includes automated formal verification methods and advanced coverage-guided testing techniques, tailored for SystemC-based VPs Describes efficient, coverage-guided test generation methods for VP-based functional and non-functional software (SW) analysis and verification Includes correspondence analyses to utilize information between different abstraction levels in the design flow Uses several VP and SW verification case-studies that target the modern RISC-V ISA.

Author : Rolf Drechsler,Sebastian Huhn
Publisher : Springer Nature
Page : 174 pages
File Size : 45,6 Mb
Release : 2023-05-29
Category : Technology & Engineering
ISBN : 9783031289163

Get Book

Advanced Boolean Techniques by Rolf Drechsler,Sebastian Huhn Pdf

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems.

Author : Pascal Pieper
Publisher : Springer Nature
Page : 190 pages
File Size : 41,9 Mb
Release : 2024-06-02
Category : Electronic
ISBN : 9783031516924

Get Book

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes by Pascal Pieper Pdf

Author : Mehran Goli,Rolf Drechsler
Publisher : Springer Nature
Page : 179 pages
File Size : 46,7 Mb
Release : 2020-05-04
Category : Technology & Engineering
ISBN : 9783030442828

Get Book

Automated Analysis of Virtual Prototypes at the Electronic System Level by Mehran Goli,Rolf Drechsler Pdf

This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process.

Author : Douglass E. Post,Richard P. Kendall
Publisher : Addison-Wesley Professional
Page : 399 pages
File Size : 49,7 Mb
Release : 2021-12-28
Category : Computers
ISBN : 9780136567011

Get Book

Creating and Using Virtual Prototyping Software by Douglass E. Post,Richard P. Kendall Pdf

Develop, Deploy, and Sustain High-Performance Virtual Prototyping for Advanced R&D Organizations must reduce time-to-market, costs, and risks while producing higher-quality products that grow ever more complex. In response, many are turning to advanced software for rapidly creating and analyzing virtual prototypes, and accurately predicting the performance and behavior of the systems they represent. This requires a deep understanding of physics-based digital engineering and high-performance computing, as well as unique organizational and management skills. Now, Douglass Post and Richard Kendall bring together knowledge that engineers, scientists, developers, and managers will need to build, deploy, and sustain these specialized applications—including information previously available only in proprietary environments. Post and Kendall illuminate key issues with a detailed book-length case study based on their work at the U.S. DoD's pioneering Computational Research and Engineering Acquisition Tools and Environments (CREATE) program, which developed eleven of the field's most advanced software tools. You'll find a detailed roadmap for planning, organizing, managing, and navigating complex organizations to successful delivery; as well as detailed descriptions of each step in the process, with clear rationales and concrete examples. The authors share detailed references, a convenient glossary and bibliography, sidebars on overcoming real-world challenges, and more. The book reviews the essentials of computational engineering and science and the pivotal role of virtual prototyping. It helps readers to: Plan and manage the paradigm shift from physical to virtual prototyping Establish, execute, and evolve Agile processes for developing virtual prototyping software Understand and implement virtual prototyping tools and workflows Verify and validate prototyping systems to ensure accuracy and utility Recruit and retain a specialized workforce, and train and support users Explore additional emerging roles for virtual prototyping

Author : Gabriela Nicolescu,Ian O'Connor,Christian Piguet
Publisher : Springer Science & Business Media
Page : 480 pages
File Size : 42,8 Mb
Release : 2012-02-02
Category : Technology & Engineering
ISBN : 9400711255

Get Book

Design Technology for Heterogeneous Embedded Systems by Gabriela Nicolescu,Ian O'Connor,Christian Piguet Pdf

Design technology to address the new and vast problem of heterogeneous embedded systems design while remaining compatible with standard “More Moore” flows, i.e. capable of simultaneously handling both silicon complexity and system complexity, represents one of the most important challenges facing the semiconductor industry today and will be for several years to come. While the micro-electronics industry, over the years and with its spectacular and unique evolution, has built its own specific design methods to focus mainly on the management of complexity through the establishment of abstraction levels, the emergence of device heterogeneity requires new approaches enabling the satisfactory design of physically heterogeneous embedded systems for the widespread deployment of such systems. Heterogeneous Embedded Systems, compiled largely from a set of contributions from participants of past editions of the Winter School on Heterogeneous Embedded Systems Design Technology (FETCH), proposes a necessarily broad and holistic overview of design techniques used to tackle the various facets of heterogeneity in terms of technology and opportunities at the physical level, signal representations and different abstraction levels, architectures and components based on hardware and software, in all the main phases of design (modeling, validation with multiple models of computation, synthesis and optimization). It concentrates on the specific issues at the interfaces, and is divided into two main parts. The first part examines mainly theoretical issues and focuses on the modeling, validation and design techniques themselves. The second part illustrates the use of these methods in various design contexts at the forefront of new technology and architectural developments.

Author : Mendoza Cervantes, Francisco
Publisher : KIT Scientific Publishing
Page : 186 pages
File Size : 45,7 Mb
Release : 2014-04-25
Category : Embedded computer systems
ISBN : 9783731501695

Get Book

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems by Mendoza Cervantes, Francisco Pdf

Author : Ljubomir Tanchev
Publisher : CRC Press
Page : 866 pages
File Size : 40,7 Mb
Release : 2007-09-17
Category : Technology & Engineering
ISBN : 9780203931875

Get Book

Virtual and Rapid Manufacturing by Ljubomir Tanchev Pdf

Collection of 120 peer-reviewed papers that were presented at the 3rd International Conference on Advanced Research in Virtual and Rapid Prototyping, held in Leiria, Portugal in September 2007. Essential reading for all those working on V&RP, focused on inducing increased collaboration between industry and academia. In addition to key

Author : Francisco Mendoza Cervantes
Publisher : Unknown
Page : 188 pages
File Size : 55,8 Mb
Release : 2020-10-09
Category : Computers
ISBN : 101328352X

Get Book

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems by Francisco Mendoza Cervantes Pdf

This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Author : Douglass Post,Richard Kendall
Publisher : Unknown
Page : 352 pages
File Size : 55,5 Mb
Release : 2021
Category : Electronic
ISBN : 0136567037

Get Book

Creating and Using Virtual Prototyping Software by Douglass Post,Richard Kendall Pdf

Develop, Deploy, and Sustain High-Performance Virtual Prototyping for Advanced R&D Organizations must reduce time-to-market, costs, and risks while producing higher-quality products that grow ever more complex. In response, many are turning to advanced software for rapidly creating and analyzing virtual prototypes, and accurately predicting the performance and behavior of the systems they represent. This requires a deep understanding of physics-based digital engineering and high-performance computing, as well as unique organizational and management skills. Now, Douglass Post and Richard Kendall bring together knowledge that engineers, scientists, developers, and managers will need to build, deploy, and sustain these specialized applications--including information previously available only in proprietary environments. Post and Kendall illuminate key issues with a detailed book-length case study based on their work at the U.S. DoDs pioneering Computational Research and Engineering Acquisition Tools and Environments (CREATE) program, which developed eleven of the fields most advanced software tools. Youll find a detailed roadmap for planning, organizing, managing, and navigating complex organizations to successful delivery; as well as detailed descriptions of each step in the process, with clear rationales and concrete examples. The authors share detailed references, a convenient glossary and bibliography, sidebars on overcoming real-world challenges, and more. The book reviews the essentials of computational engineering and science and the pivotal role of virtual prototyping. It helps readers to: Plan and manage the paradigm shift from physical to virtual prototyping Establish, execute, and evolve Agile processes for developing virtual prototyping software Understand and implement virtual prototyping tools and workflows Verify and validate prototyping systems to ensure accuracy and utility Recruit and retain a specialized workforce, and train and support users Explore additional emerging roles for virtual prototyping.

Author : Zhenhan Yao,M. W. Yuan,Wanxie Zhong
Publisher : 清华大学出版社有限公司
Page : 712 pages
File Size : 51,6 Mb
Release : 2004
Category : Engineering design
ISBN : 7302093415

Get Book

Computational Mechanics by Zhenhan Yao,M. W. Yuan,Wanxie Zhong Pdf

Author : Alberto Sangiovanni-Vincentelli,Haibo Zeng,Marco Di Natale,Peter Marwedel
Publisher : Springer Science & Business Media
Page : 223 pages
File Size : 44,9 Mb
Release : 2013-07-19
Category : Technology & Engineering
ISBN : 9781461438793

Get Book

Embedded Systems Development by Alberto Sangiovanni-Vincentelli,Haibo Zeng,Marco Di Natale,Peter Marwedel Pdf

This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.