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:
DATE (1999)
Keyphrases
</>
asynchronous circuits
model checking
face verification
digital images
color images
temporal logic
noise reduction
median filter
noise removal