Equivalence Checking of Circuits with Parameterized Specifications.

Eugene Goldberg

Published in: SAT (2005)

Keyphrases

database systems
delay insensitive
asynchronous circuits
databases
high speed
formal specification
neural network
low power
interactive dynamic influence diagrams
high level
analog circuits
vlsi circuits