Parametric Circuit Representation Using Inductive Boolean Functions (1993)

by Aarti Gupta, Allan L. Fisher
Venue:In Computer Aided Verification, CAV '93, LNCS 697