Reasoning about Linear Circuits: A Model-Based Approach.

Juan J. Flores Arthur M. Farley

Published in: AI Commun. (1999)

Keyphrases

shift register
high speed
vlsi circuits
information systems
closed form
linear model
spatial reasoning
linear systems
logic synthesis
database
real time
e learning
optimal solution
expert systems
artificial neural networks