Experience extending VLSI design with mathematical logic.

Published in: MSE (1997)

Keyphrases

vlsi design
design methodology
computer algebra
logic programming
classical logic
user experience
modal logic
mathematical knowledge
mathematical theory
multi valued
decision making
theorem prover
design process
building blocks
data warehouse
genetic algorithm
neural network