Linking HOL to a VLSI CAD System.

Juin-Yeu Lu Shiu-Kai Chin

Published in: HUG (1993)

Keyphrases

computer aided diagnosis
signal processing
computer aided
vlsi design
theorem prover
formal methods
high speed
vlsi circuits
natural deduction
neural network
early stage
theorem proving
pattern recognition
cad systems
vlsi implementation
real time
medical imaging
website
image processing
higher order logic