Journal: ACM Trans. Design Autom. Electr. Syst.

Volume 3, Issue 3

309 -- 340Gianpiero Cabodi, Paolo Camurati, Stefano Quer. Auxiliary variables for BDD-based representation and manipulation of Boolean functions
341 -- 388Jason Cong, Andrew B. Kahng, Cheng-Kok Koh, Chung-Wen Albert Tsao. Bounded-skew clock and Steiner routing
389 -- 407Wen-Ben Jone, K. S. Tsai. Confidence analysis for defect-level estimation of VLSI random testing
408 -- 436Anmol Mathur, Ali Dasdan, Rajesh K. Gupta. Rate analysis for embedded systems
437 -- 462Peichen Pan, C. L. Liu. Optimal clock period FPGA technology mapping for sequential circuits
463 -- 486Michael A. Riepe, Karem A. Sakallah. The edge-based design rule model revisited
487 -- 495Alan Su 0002, Yu-Chin Hsu, Ta-Yung Liu, Mike Tien-Chien Lee. Eliminating false loops caused by sharing in control path
496 -- 514Hai Zhou, D. F. Wong. Optimal river routing with crosstalk constraints