Analysis of digital circuits through symbolic reduction.

Robert P. Kurshan Kenneth L. McMillan

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)

Keyphrases

digital circuits
databases
high level
statistical analysis
data sets
multi agent systems
quantitative analysis
computational complexity
data analysis
state space
dynamic systems