Formalization of VHDL Synthesis Procedure in Higher-Order Logic.

X. Wang Edward P. Stabler

Published in: TPHOLs (1991)

Keyphrases

higher order logic
higher order
logical framework
theorem prover
conditional logic
knowledge representation
artificial intelligence
integrated circuit
circuit design