Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106)