Multi-level qualitative reasoning applied to CMOS digital circuits.

Neeraj Kaul Gautam Biswas Bharat L. Bhuva

Published in: Artif. Intell. Eng. (1992)

Keyphrases

qualitative reasoning
digital circuits
qualitative information
dynamic systems
qualitative simulation
database
data mining
high speed
circuit design
matching algorithm
model based diagnosis
finite state machines
order of magnitude reasoning