Computer Engineering Seminar

Reading group: Synthesis, Verification and Test

Steve Plaza
WHEN:
Wednesday, September 21, 2005 @ 2:00 pm
Add to Google Calendar
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