ACM Transactions on Design Automation of Electronic Systems (TODAES)
, Volume 4
Volume 4, Number 1, January 1999
Michael Gasteier
,
Manfred Glesner
:
Bus-based communication synthesis on system level.
1-11
Electronic Edition
(
ACM DL
)
BibTeX
Stan Y. Liao
,
Srinivas Devadas
,
Kurt Keutzer
:
A text-compression-based method for code size minimization in embedded systems.
12-38
Electronic Edition
(
ACM DL
)
BibTeX
Xiaoyu Song
,
Yuke Wang
:
On the crossing distribution problem.
39-51
Electronic Edition
(
ACM DL
)
BibTeX
Jyh-Mou Tseng
,
Jing-Yang Jou
:
Two-level logic minimization for low power.
52-69
Electronic Edition
(
ACM DL
)
BibTeX
Frank Vahid
:
Procedure cloning: a transformation for improved system-level functional partitioning.
70-96
Electronic Edition
(
ACM DL
)
BibTeX
Qi Wang
,
Sarma B. K. Vrudhula
,
Gary K. H. Yeap
,
Shantanu Ganguly
:
Power reduction and power-delay trade-offs using logic transformations.
97-121
Electronic Edition
(
ACM DL
)
BibTeX
Volume 4, Number 2, April 1999
Christoph Kern
,
Mark R. Greenstreet
:
Formal verification in hardware design: a survey.
123-193
Electronic Edition
(
ACM DL
)
BibTeX
Kuen-Jong Lee
,
Jing-Jou Tang
,
Tsung-Chu Huang
:
BIFEST: a built-in intermediate fault effect sensing and test generation system for CMOS bridging faults.
194-218
Electronic Edition
(
ACM DL
)
BibTeX
Mitchell A. Thornton
,
V. S. S. Nair
:
Behavioral synthesis of combinational logic using spectral-based heuristics.
219-230
Electronic Edition
(
ACM DL
)
BibTeX
Volume 4, Number 3, July 1999
Wei-Kai Cheng
,
Youn-Long Lin
:
Code generation of nested loops for DSP processors with heterogeneous registers and structural pipelining.
231-256
Electronic Edition
(
ACM DL
)
BibTeX
Yau-Tsun Steven Li
,
Sharad Malik
,
Andrew Wolfe
:
Performance estimation of embedded software with instruction cache modeling.
257-279
Electronic Edition
(
ACM DL
)
BibTeX
C.-J. Richard Shi
,
Michael W. Tian
:
Simulation and sensitivity of linear analog circuits under parameter variations by Robust interval analysis.
280-312
Electronic Edition
(
ACM DL
)
BibTeX
Bernd Wurth
,
Ulf Schlichtmann
,
Klaus Eckl
,
Kurt Antreich
:
Functional multiple-output decomposition with application to technology mapping for lookup table-based FPGAs.
313-350
Electronic Edition
(
ACM DL
)
BibTeX
Volume 4, Number 4, October 1999
Luca Benini
,
Giovanni De Micheli
,
Enrico Macii
,
Massimo Poncino
,
Riccardo Scarsi
:
Symbolic synthesis of clock-gating logic for power optimization of synchronous controllers.
351-375
Electronic Edition
(
ACM DL
)
BibTeX
Kyumyung Choi
,
Steven P. Levitan
:
A flexible datapath allocation method for architectural synthesis.
376-404
Electronic Edition
(
ACM DL
)
BibTeX
Inki Hong
,
Miodrag Potkonjak
,
Ramesh Karri
:
Power optimization using divide-and-conquer techniques for minimization of the number of operations.
405-429
Electronic Edition
(
ACM DL
)
BibTeX
Miodrag Potkonjak
,
Wayne Wolf
:
A methodology and algorithms for the design of hard real-time multitasking ASICs.
430-459
Electronic Edition
(
ACM DL
)
BibTeX
Copyright ©
Sun May 17 00:29:45 2009 by
Michael Ley
(
ley@uni-trier.de
)