Verification of FPGA Layout Generators in Higher-Order Logic.

Published in: J. Autom. Reason. (2006)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
high speed
hardware implementation
field programmable gate array
model checking
hardware design
video sequences
signal processing
genetic programming
default reasoning