2004 41st Conference Design Automation (IEEE)