Structure in Hardware Proofs: First Steps Towards Automation in a Higher-Order Environment.

Klaus Schneider Ramayya Kumar Thomas Kropf

Published in: VLSI (1991)

Keyphrases

higher order
real time
low cost
computer systems
learning algorithm
hierarchical structure
high order
information systems
bayesian networks
virtual environment
computing environments
hardware implementation
computing power
circuit design
host computer
equational theories