There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Book: not found

Symbolic Model Checking

Kenneth McMillan (1993)

0 comments Cited 168 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Graph-Based Algorithms for Boolean Function Manipulation

Bryant (1986)

0 comments Cited 138 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation

S. Borkar (2005)

0 comments Cited 49 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Publication date (Online): November 01 2016

Pages: 34-48

DOI: 10.1007/978-3-319-49052-6_3

SO-VID: 77fedc7a-aa24-4f04-a58a-d0a5f6843f59

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

OpenSEA: Semi-Formal Methods for Soft Error Analysis
Authors: Roderick Bloem, Robert Koenighofer, Patrick Klampfl …

See all cited by

Gating Aware Error Injection

Read this book at

Related collections

ScienceOpen Research

Most cited references 21

Symbolic Model Checking

Graph-Based Algorithms for Boolean Function Manipulation

Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,078

Cited by 1