Automatic High Level Assertion Generation and Synthesis for Embedded System Design.

Lun Li Frank P. Coyle Mitchell A. Thornton

Published in: FDL (2007)

Keyphrases

high level
low level
building blocks
information retrieval
data driven
semi automatic
computer aided
database
neural network
image sequences
conceptual model
engineering design
generation process
analog circuits
design solutions