Volume 3,
Number 1,
January 1998
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
Copyright © Sun May 17 00:29:45 2009
by Michael Ley (ley@uni-trier.de)