Symbolic Simulation Methods for Industrial Formal Verification /

Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microproce...

Full description

Bibliographic Details

Main Author:	Jones, Robert B.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Subjects:	Engineering. Electronic data processing. Computer-aided design. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book