Embedding Hardware Verification Within a Commercial Design Framework.

Thomas Kropf Ramayya Kumar Klaus Schneider

Published in: CHARME (1993)

Keyphrases

conceptual framework
design principles
low cost
main contribution
computational framework
real time
case study
user interface
conceptual model
design patterns
hardware designs
model checking
efficient implementation
control unit