Automatic abstraction and verification of verilog models.

Zaher S. Andraus Karem A. Sakallah

Published in: DAC (2004)

Keyphrases

statistical models
hardware designs
search engine
model selection
semi automatic
modeling framework
image segmentation
prior knowledge
petri net
model checking
fully automatic
parametric models
formal verification