VCEGAR: Verilog CounterExample Guided Abstraction Refinement.

Himanshu Jain Daniel Kroening Natasha Sharygina Edmund M. Clarke

Published in: TACAS (2007)

Keyphrases

hardware designs
model checking
high level
databases
case study
three dimensional
search engine
information systems
website
model based diagnosis
query refinement
data abstraction