Co-verification design flow for HDL languages: A complete development methodology.

Laurent Beaulieu Olivier Weppe Benoit Le Ludec Florian Lebeau

Published in: ICECS (2017)

Keyphrases

optimal design
data sets
case study
design methodology
artificial intelligence
database systems
user interface
knowledge based systems
building blocks
expressive power
computer aided
design decisions
formal verification