- "Simulation-Based Deadlock Analysis for System Level
Designs",
Design Automation Conference (DAC
'05), Anaheim, CA, June 2005.
- "Automatic Trace Analysis for Logic
of Constraints", Design Automation Conference (DAC'03),
Anaheim, CA, June 2003. [PDF]
- "Elaborator and Runtime Library - A
Metropolis Backend Tool", Metropolis Seminar Series, Cadence Berkeley Laboratories, Berkeley, CA, September
2003. [PDF]
- "Metropolis Verification Backends", Gigascale Systems Research Center (GSRC) Workshop, San Diego, CA, June
2004. [PDF]
|