Consistency checking for MOS/VLSI circuits.

Ning-Sang Chang Ravi Apte

Published in: DAC (1983)

Keyphrases

vlsi circuits
consistency checking
query answering
low power
databases
temporal constraints
temporal reasoning
mixed signal
power consumption
special case
signal processing
np complete
model checking
data analysis
case study
image processing
real time