The Filter Checker: An Active Verification Management Approach.

Joonhyuk Yoo Manoj Franklin

Published in: DFT (2006)

Keyphrases

management system
information systems
decision making
data management
model checking
noise reduction
data processing
knowledge management
neural network
image processing
project management
noise removal
face verification
signature verification
formal verification
asynchronous circuits
verification method