A hybrid verification approach: getting deep into the design.

Scott Hazelhurst Osnat Weissberg Gila Kamhi Limor Fix

Published in: DAC (2002)

Keyphrases

functional verification
user interface
neural network
databases
case study
conceptual framework
design decisions
formal verification
search engine
web services
database systems
multi agent systems
building blocks
design process
computer aided
hybrid learning