Design for Verification at the Register Transfer Level.

Indradeep Ghosh Krishna Sekar Vamsi Boppana

Published in: VLSI Design (2002)

Keyphrases

computer aided
higher level
design process
case study
design principles
optimal design
database systems
user interface
evolutionary algorithm
model checking
design methodology
formal verification