January 22, 2016 (v1)
Publication
Symbolic analysis potentialities for gaining circuit insight and for efficient repetitive evaluations have been limited by the exponential increase of formula complexity with the circuit size. This drawback has began to be solved by the introduction of simplification before and during generation techniques. An appropriate error control in both...
Uploaded on: December 4, 2022