Generating Netlists from Executable Circuit Specifications.

John T. O'Donnell

Published in: Functional Programming (1992)

Keyphrases

delay insensitive
formal specification
attribute grammars
control flow
high speed
neural network
analog circuits
high level
digital circuits
data sets
specification language
circuit design
model checking
automatically generating
petri net
software development
web services
website
databases