Complete Symbolic Simulation of SystemC Models

Complete Symbolic Simulation of SystemC Models
Author :
Publisher : Springer
Total Pages : 172
Release :
ISBN-10 : 9783658126803
ISBN-13 : 3658126809
Rating : 4/5 (03 Downloads)

Book Synopsis Complete Symbolic Simulation of SystemC Models by : Vladimir Herdt

Download or read book Complete Symbolic Simulation of SystemC Models written by Vladimir Herdt and published by Springer. This book was released on 2016-03-16 with total page 172 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Complete Symbolic Simulation of SystemC Models Related Books

Complete Symbolic Simulation of SystemC Models
Language: en
Pages: 172
Authors: Vladimir Herdt
Categories: Computers
Type: BOOK - Published: 2016-03-16 - Publisher: Springer

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-termi
Languages, Design Methods, and Tools for Electronic System Design
Language: en
Pages: 122
Authors: Franco Fummi
Categories: Technology & Engineering
Type: BOOK - Published: 2017-11-09 - Publisher: Springer

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
Languages, Design Methods, and Tools for Electronic System Design
Language: en
Pages: 197
Authors: Tom J. Kazmierski
Categories: Technology & Engineering
Type: BOOK - Published: 2019-12-20 - Publisher: Springer Nature

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), whic
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
Language: en
Pages: 145
Authors: Paula Herber
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

In this dissertation, we present a systematic, comprehensive, and formally founded quality assurance process, which allows automated co-verification of digital
Formal Methods
Language: en
Pages: 801
Authors: Marieke Huisman
Categories: Computers
Type: BOOK - Published: 2021-11-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented t