Efficient Verification of Behavioral Models Using Sequential Sampling Technique.

Tom Chen Isabelle Munn Anneliese von Mayrhauser Amjad Hajjar

Published in: VLSI (1999)

Keyphrases

behavioral models
database
real time
artificial intelligence
case study
semi automatic
search engine
information retrieval systems
intelligent systems
model checking
hierarchical structure
dynamically created