Sign in
An efficient filter-based approach for combinational verification.
Rajarshi Mukherjee
Jawahar Jain
Koichiro Takayama
Masahiro Fujita
Jacob A. Abraham
Donald S. Fussell
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
asynchronous circuits
model checking
noise reduction
neural network
signature verification
functional verification
real time
data sets
real world
high frequency
filtering algorithm
formal verification
linear filters
filter design