Formal meaning of coverage metrics in simulation-based hardware design verification.

Iñigo Ugarte Pablo Sanchez

Published in: HLDVT (2005)

Keyphrases

hardware design
formal methods
hardware implementation
mathematical theory
model checking
formal analysis
fpga hardware
natural language
formal specification
formal model
evaluation metrics
field programmable gate array
artificial intelligence
graphical models
test suite