Quality Driven Systemc Design

Author : Daniel Große,Rolf Drechsler
Publisher : Springer Science & Business Media
Page : 182 pages
File Size : 40,6 Mb
Release : 2009-12-02
Category : Technology & Engineering
ISBN : 9789048136315

Get Book

Quality-Driven SystemC Design by Daniel Große,Rolf Drechsler Pdf

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

Author : Jan Haase
Publisher : Springer Science & Business Media
Page : 235 pages
File Size : 54,5 Mb
Release : 2013-09-18
Category : Technology & Engineering
ISBN : 9783319014180

Get Book

Models, Methods, and Tools for Complex Chip Design by Jan Haase Pdf

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

Author : Muhammad Hassan,Daniel Große,Rolf Drechsler
Publisher : Springer Nature
Page : 181 pages
File Size : 50,5 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 : Hartmut Ehrig,Gregor Engels,Hans-Jörg Kreowski,Grzegorz Rozenberg
Publisher : Springer
Page : 437 pages
File Size : 54,6 Mb
Release : 2012-09-18
Category : Computers
ISBN : 9783642336546

Get Book

Graph Transformation by Hartmut Ehrig,Gregor Engels,Hans-Jörg Kreowski,Grzegorz Rozenberg Pdf

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Author : Mathias Soeken,Rolf Drechsler
Publisher : Springer
Page : 143 pages
File Size : 46,5 Mb
Release : 2014-11-12
Category : Technology & Engineering
ISBN : 9783319086996

Get Book

Formal Specification Level by Mathias Soeken,Rolf Drechsler Pdf

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

Author : Rolf Drechsler,Sebastian Huhn
Publisher : Springer Nature
Page : 174 pages
File Size : 51,5 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 : Vladimir Herdt
Publisher : Springer
Page : 162 pages
File Size : 46,5 Mb
Release : 2016-03-16
Category : Computers
ISBN : 9783658126803

Get Book

Complete Symbolic Simulation of SystemC Models by Vladimir Herdt Pdf

In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and therefore can provide correctness proofs for larger systems, which is one of the most challenging tasks, due to the ever increasing complexity.

Author : Daniel Große,Sara Vinco,Hiren Patel
Publisher : Springer
Page : 130 pages
File Size : 46,8 Mb
Release : 2018-12-19
Category : Technology & Engineering
ISBN : 9783030022150

Get Book

Languages, Design Methods, and Tools for Electronic System Design by Daniel Große,Sara Vinco,Hiren Patel Pdf

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers modeling and verification methodologies targeting digital and analog systems; Addresses firmware development and validation; Targets both functional and non-functional properties; Includes descriptions of methods for reliable system design.

Author : Pascal Pieper
Publisher : Springer Nature
Page : 190 pages
File Size : 44,6 Mb
Release : 2024-07-01
Category : Electronic
ISBN : 9783031516924

Get Book

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

Author : Vladimir Herdt,Daniel Große,Rolf Drechsler
Publisher : Springer Nature
Page : 247 pages
File Size : 42,8 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 J. Kazmierski,Sebastian Steinhorst,Daniel Große
Publisher : Springer Nature
Page : 197 pages
File Size : 40,5 Mb
Release : 2019-12-20
Category : Technology & Engineering
ISBN : 9783030315856

Get Book

Languages, Design Methods, and Tools for Electronic System Design by Tom J. Kazmierski,Sebastian Steinhorst,Daniel Große Pdf

This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers Assertion Based Design, Verification & Debug; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).

Author : Swarat Chaudhuri,Azadeh Farzan
Publisher : Springer
Page : 521 pages
File Size : 51,8 Mb
Release : 2016-07-12
Category : Computers
ISBN : 9783319415406

Get Book

Computer Aided Verification by Swarat Chaudhuri,Azadeh Farzan Pdf

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.

Author : Dorina C. Petriu,Nicolas Rouquette,Øystein Haugen
Publisher : Springer Science & Business Media
Page : 440 pages
File Size : 41,9 Mb
Release : 2010-09-27
Category : Business & Economics
ISBN : 9783642161285

Get Book

Model Driven Engineering Languages and Systems by Dorina C. Petriu,Nicolas Rouquette,Øystein Haugen Pdf

This book is part II of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010. The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven quality assurance, managing variability, multi-modeling approaches, distributed/embedded software development, (de)composition and refactoring, model change, (meta)models at runtime, requirements engineering, slicing and model transformations, incorporating quality concerns in MDD, model-driven engineering in practice, and modeling architecture.

Author : Youn-Long Steve Lin
Publisher : Springer Science & Business Media
Page : 405 pages
File Size : 52,6 Mb
Release : 2007-05-31
Category : Technology & Engineering
ISBN : 9781402053528

Get Book

Essential Issues in SOC Design by Youn-Long Steve Lin Pdf

This book originated from a workshop held at the DATE 2005 conference, namely Designing Complex SOCs. State-of-the-art in issues related to System-on-Chip (SoC) design by leading experts in the fields, it covers IP development, verification, integration, chip implementation, testing and software. It contains valuable academic and industrial examples for those involved with the design of complex SOCs.

Author : Brian Bailey,Felice Balarin,Michael McNamara
Publisher : Lulu.com
Page : 298 pages
File Size : 51,7 Mb
Release : 2010
Category : Computers
ISBN : 9780557539062

Get Book

TLM-driven Design and Verification Methodology by Brian Bailey,Felice Balarin,Michael McNamara Pdf

This book describes a comprehensive SystemC TLM-driven IP design and verification solution'including methodology guidelines, high-level synthesis, and TLM-aware verification basedon Cadence products'that will help designers transition to a TLM-driven design andverification flow.