Verification Methodologies in a TLM-to-RTL Design Flow.

Atsushi Kasuya Tesh Tesfaye

Published in: DAC (2007)

Keyphrases

machine learning
computer vision
information systems
building blocks
design process
formal verification
real time
multiscale
multi agent systems
user interface
human computer interaction
design principles