AI Lab logo
menu MENU

Computer Engineering Seminar

Reading group: Synthesis, Verification and Test

Steve Plaza
SHARE:

Paper presented:
Malay K. Ganai, The University of Texas at Austin
Viresh Paruthi, IBM Enterprise Systems Group,
Austin, TX Andreas Kuehlmann, Cadence Berkeley
Labs, Berkeley, CA Circuit-Based Boolean Reasoning
DAC 2001, pp. 232-237

Sponsored by

Igor Markov