RELATED BOOKS:
SAT-Based Scalable Formal Verification Solutions
Language: en
Pages: 330
Authors: Malay Ganai, Aarti Gupta
Categories: Computers
Type: BOOK - Published: 2007-05-22 - Publisher: Springer

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and
SAT-Based Scalable Formal Verification Solutions
Language: en
Pages: 330
Authors: Malay Ganai, Aarti Gupta
Categories: Computers
Type: BOOK - Published: 2007-05-26 - Publisher: Springer Science & Business Media

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and
Quality-Driven SystemC Design
Language: en
Pages: 170
Authors: Daniel Gro├če, Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2009-12-02 - Publisher: Springer Science & Business Media

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
Design and Test Technology for Dependable Systems-on-chip
Language: en
Pages: 550
Authors: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Categories: Computers
Type: BOOK - Published: 2011-01-01 - Publisher: IGI Global

"This book covers aspects of system design and efficient modelling, and also introduces various fault models and fault mechanisms associated with digital circuits integrated into System on Chip (SoC), Multi-Processor System-on Chip (MPSoC) or Network on Chip (NoC)"--
Embedded Software Verification and Debugging
Language: en
Pages: 208
Authors: Djones Lettnin, Markus Winterholer
Categories: Technology & Engineering
Type: BOOK - Published: 2017-04-17 - Publisher: Springer

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification