Home Research Publications Teaching Resume

  • "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]

2004-2006 Xi Chen - Last Update: 10/30/2005