Nuts and Bolts of Core and SoC Verification.

Published in: DAC (2001)

Keyphrases

formal verification
model checking
low power
hardware and software
false acceptance rate
neural network
learning algorithm
search engine
multi agent systems
embedded systems