Symbolic Simulation Methods for Industrial Formal Verification / by Robert B. Jones.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2002.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
TK7888.4
|
|---|---|
| TK7888.4 | Available |