Extending VLSI design with higher-order logic.

Anand Chavan Shiu-Kai Chin Shahid Ikram Jang Dae Kim Juin-Yeu Zu

Published in: ICCD (1995)

Keyphrases

vlsi design
higher order logic
higher order
theorem prover
conditional logic
logical framework
design methodology
data representation
inference rules
neural network
machine learning
knowledge base