Login / Signup
From Equation to VHDL: Using Rewriting Logic for Automated Function Generation.
Carlos Morra
M. Sackmann
Sunil Shukla
Jürgen Becker
Reiner W. Hartenstein
Published in:
FPL (2006)
Keyphrases
</>
sound and complete axiomatization
multi valued
modal logic
fully automated
neural network
logic programming
semi automated
generation process
asynchronous circuits
data sets
logic programs
hardware implementation
query rewriting
classical logic
hardware description language