Design Automation of Electronic Systems (TODAES)


Search Issue
enter search term and/or author name


ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 1 Issue 2, April 1996

Combinational logic synthesis for LUT based field programmable gate arrays
Jason Cong, Yuzheng Ding
Pages: 145-204
DOI: 10.1145/233539.233540
The increasing popularity of the field programmable gate-array (FPGA) technology has generated a great deal of interest in the algorithmic study and tool development for FPGA-specific design automation problems. The most widely used FPGAs are...

From VHDL to efficient and first-time-right designs: a formal approach
Peter F. A. Middelhoek, Sreeranga P. Rajan
Pages: 205-250
DOI: 10.1145/233539.233541
In this article we provide a practical transformational approach to the synthesis of correct synchronous digital hardware designs from high-level specifications. We do this while taking into account the complete life cycle of a design from early...

Optimal register assignment to loops for embedded code generation
David J. Kolson, Alexandru Nicolau, Nikil Dutt, Ken Kennedy
Pages: 251-279
DOI: 10.1145/233539.233542
One of the challenging tasks in code generation for embedded systems is register assignment. When more live variables than registers exist, some variables will necessarily be accessed from data memory. Because loops are typically executed many...

Transistor reordering for power minimization under delay constraint
S. C. Prasad, K. Roy
Pages: 280-300
DOI: 10.1145/233539.233543
In this article we address the problem of optimization of VLSI circuits to minimize power consumption while meeting performance goals. We present a method of estimating power consumption of a basic or complex CMOS gate which takes the internal...