Inductive Verification of Sequential Circuits with a Datapath.

I. Chakrabarti Dipankar Sarkar Arun K. Majumdar

Published in: VLSI Design (1997)

Keyphrases

asynchronous circuits
inductive learning
concept learning
formal verification
verification method
delay insensitive
database
machine learning
logic synthesis
genetic algorithm
feature selection
web services
face verification
formal analysis
high security