Complete Symbolic Simulation of SystemC Models
Complete Symbolic Simulation of SystemC Models

Author: Vladimir Herdt

Publisher: Springer

Published: 2016-03-16

Total Pages: 172

ISBN-13: 3658126809

DOWNLOAD EBOOK

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.

Languages, Design Methods, and Tools for Electronic System Design
Languages, Design Methods, and Tools for Electronic System Design

Author: Tom J. Kazmierski

Publisher: Springer Nature

Published: 2019-12-20

Total Pages: 197

ISBN-13: 3030315851

DOWNLOAD EBOOK

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).

Enhanced Virtual Prototyping
Enhanced Virtual Prototyping

Author: Vladimir Herdt

Publisher: Springer Nature

Published: 2020-10-14

Total Pages: 247

ISBN-13: 3030548287

DOWNLOAD EBOOK

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.

Languages, Design Methods, and Tools for Electronic System Design
Languages, Design Methods, and Tools for Electronic System Design

Author: Franco Fummi

Publisher: Springer

Published: 2017-11-09

Total Pages: 122

ISBN-13: 3319629204

DOWNLOAD EBOOK

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, 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.

A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Author: Paula Herber

Publisher: Logos Verlag Berlin GmbH

Published: 2010

Total Pages: 145

ISBN-13: 3832525114

DOWNLOAD EBOOK

In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital hardware/software systems that are modeled in SystemC. The main idea is to apply model checking to verify that an abstract design meets a requirements specification and to generate conformance tests to check whether refined designs conform to this abstract design. As formal foundation, we define a formal semantics of SystemC by a transformation into the well-defined semantics of UPPAAL timed automata. The automatically generated timed automata model can be verified using the UPPAAL model checker and it can be used to generate conformance tests. With that, we obtain guarantees about liveness, safety, and timing properties of the abstract design, which serves as a specification, and we can ensure the consistency of each refined design to that. The result is a HW/SW co-verification flow that supports the HW/SW co-development process continuously from abstract design down to the implementation. The complete verification flow is implemented in our Framework for the Verification of SystemC designs using Timed Automata (VeriSTA) and its applicability and performance are shown by experimental results.

Automated Analysis of Virtual Prototypes at the Electronic System Level
Automated Analysis of Virtual Prototypes at the Electronic System Level

Author: Mehran Goli

Publisher: Springer Nature

Published: 2020-05-04

Total Pages: 179

ISBN-13: 3030442829

DOWNLOAD EBOOK

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.

Industrial Internet of Things
Industrial Internet of Things

Author: Sabina Jeschke

Publisher: Springer

Published: 2016-10-12

Total Pages: 714

ISBN-13: 3319425595

DOWNLOAD EBOOK

This book develops the core system science needed to enable the development of a complex industrial internet of things/manufacturing cyber-physical systems (IIoT/M-CPS). Gathering contributions from leading experts in the field with years of experience in advancing manufacturing, it fosters a research community committed to advancing research and education in IIoT/M-CPS and to translating applicable science and technology into engineering practice. Presenting the current state of IIoT and the concept of cybermanufacturing, this book is at the nexus of research advances from the engineering and computer and information science domains. Readers will acquire the core system science needed to transform to cybermanufacturing that spans the full spectrum from ideation to physical realization.

Computer Aided Verification
Computer Aided Verification

Author: Swarat Chaudhuri

Publisher: Springer

Published: 2016-07-12

Total Pages: 527

ISBN-13: 3319415409

DOWNLOAD EBOOK

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.

Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems

Author: Rolf Drechsler

Publisher: Springer

Published: 2015-06-05

Total Pages: 324

ISBN-13: 3658099941

DOWNLOAD EBOOK

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.