ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 3

Volume 3, Number 1, January 1998

• Eric W. Johnson, Jay B. Brockman:
  Measurement and analysis of sequential design processes. 1-20
  Electronic Edition (ACM DL) BibTeX
• Karim Khordoc, Eduard Cerny:
  Semantics and verification of action diagrams with linear timing. 21-50
  Electronic Edition (ACM DL) BibTeX
• Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas:
  A new viewpoint on code generation for directed acyclic graphs. 51-75
  Electronic Edition (ACM DL) BibTeX
• C.-J. Richard Shi, Janusz A. Brzozowski:
  Cluster-cover a theoretical framework for a class of VLSI-CAD optimization problems. 76-107
  Electronic Edition (ACM DL) BibTeX

Volume 3, Number 2, April 1998

• Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen:
  ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. 109-135
  Electronic Edition (ACM DL) BibTeX
• Guido Araujo, Sharad Malik:
  Code generation for fixed-point DSPs. 136-161
  Electronic Edition (ACM DL) BibTeX
• Giri Tiruvuri, Moon Chung:
  Estimation of lower bounds in scheduling algorithms for high-level synthesis. 162-180
  Electronic Edition (ACM DL) BibTeX
• Frank Vahid, Thuy Dm Le, Yu-Chin Hsu:
  Functional partitioning improvements over structural partitioning for packaging constraints and synthesis: tool performance. 181-208
  Electronic Edition (ACM DL) BibTeX
• Gernot Koch, Wolfgang Rosenstiel, Udo Kebschull:
  Breakpoints and breakpoint detection in source-level emulation. 209-230
  Electronic Edition (ACM DL) BibTeX
• Irith Pomeranz, Sudhakar M. Reddy:
  Functional test generation for delay faults in combinational circuits. 231-248
  Electronic Edition (ACM DL) BibTeX
• Xiao-Tao Chen, Fred J. Meyer, Fabrizio Lombardi:
  Structural diagnosis of interconnects by coloring. 249-271
  Electronic Edition (ACM DL) BibTeX
• Dinesh P. Mehta:
  Estimating the storage requirements of the rectangular and L-shaped corner stitching data structures. 272-284
  Electronic Edition (ACM DL) BibTeX
• Subhrajit Bhattacharya, Sujit Dey, Franc Brglez:
  Effects of resource sharing on circuit delay: an assignment algorithm for clock period optimization. 285-307
  Electronic Edition (ACM DL) BibTeX

Volume 3, Number 3, July 1998

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

Volume 3, Number 4, October 1998

• Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
  Modeling reactive systems in Java. 515-523
  Electronic Edition (ACM DL) BibTeX
• Li-C. Wang, Magdy S. Abadir, Jing Zeng:
  On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays. 524-532
  Electronic Edition (ACM DL) BibTeX
• Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta:
  A timing-driven design and validation methodology for embedded real-time systems. 533-553
  Electronic Edition (ACM DL) BibTeX
• Sreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee:
  ATM switch design by high-level modeling, formal verification and high-level synthesi. 554-562
  Electronic Edition (ACM DL) BibTeX
• James K. Huggins, David Van Campenhout:
  Specification and verification of pipelining in the ARM2 RISC microprocessor. 563-580
  Electronic Edition (ACM DL) BibTeX
• David Van Campenhout, Hussain Al-Asaad, John P. Hayes, Trevor N. Mudge, Richard B. Brown:
  High-level design verification of microprocessors via error modeling. 581-599
  Electronic Edition (ACM DL) BibTeX
• Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee:
  Efficient equivalence checking of multi-phase designs using phase abstraction and retiming. 600-625
  Electronic Edition (ACM DL) BibTeX
• Alfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda:
  EXFI: a low-cost fault injection system for embedded microprocessor-based boards. 626-634
  Electronic Edition (ACM DL) BibTeX