Login / Signup
A Methodology for Reusable Hardware Proofs.
Mark D. Aagaard
Miriam Leeser
Published in:
TPHOLs (1992)
Keyphrases
</>
low cost
hardware and software
real time
image processing
computing systems
databases
hardware implementation
decision procedures
vlsi implementation
equational theories
genetic algorithm
general purpose
software reuse
graphics hardware
formal proofs