Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)