Combining Several Paradigms for Circuit Validation and Verification.

Diana Toma Dominique Borrione Ghiath Al Sammane

Published in: CASSIS (2004)

Keyphrases

database
model checking
formal methods
signature verification
logic circuits
decision trees
asynchronous circuits
formal verification
logic synthesis
electronic circuits
model validation
evolvable hardware
person identification
combining multiple
high speed
search engine
data mining
neural network
databases