Pierzchala Marian; Rodanski Benedykt
(Institute of Electrical and Electronics Engineers, 2001)
The major stumbling block in symbolic analysis of large-scale
circuits is the exponential growth of expression complexity with the circuit
size. Sequential techniques, introduced more than a decade ago, reduced
that ...