A Holistic Approach to SoC Verification.

Alicia Strang David Potts Shankar Hemmady

Published in: ISQED (2008)

Keyphrases

low power
model checking
formal verification
artificial intelligence
signature verification
asynchronous circuits
database
data structure
hardware and software
data sets
information retrieval
case study
expert systems
formal methods
formal analysis
concurrent systems