Login / Signup
Identification of Inductive Properties during Verification of Synchronous Sequential Circuits.
I. Chakrabarti
Dipankar Sarkar
Arun K. Majumdar
Published in:
J. Autom. Reason. (1995)
Keyphrases
</>
asynchronous circuits
high speed
model checking
person identification
databases
information retrieval
decision trees
inductive learning
face verification
power consumption
desirable properties
digital circuits
sequential search
inductive reasoning