Behavioral Synthesis Methodology for HDL-Based Specification and Validation.

David Knapp Tai Ly Don MacMillen Ron Miller

Published in: DAC (1995)

Keyphrases

design methodology
formal specification
decision making
high level
computer vision
website
relational databases
conceptual framework
formal methods
specification language
hardware design
program synthesis
provably correct