Publications
, “Verifying equivalence of functions with unknown input correspondence”, in Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on, 1993, pp. 81 -85.
University of California, Santa Barbara
Electrical and Computer Engineering, Harold Frank Hall, University of California, Santa Barbara, CA - 93106.