Reference Materials
for
CSE 518: Synthesis with Hardware Design Languages

Synthesis

DeMicheli: Synthesis and Optimization of Digital Circuits
McGraw-Hall, 1994
Devadas, Ghosh, Deutzer: Logic Synthesis
McGraw-Hill, 1994
Ku and DeMicheli: High-Level Synthesis of ASICs under Timing and Synchronization Constraints
Kluwer, 1992
Gajski, Dutt, Wu, and Lin: High-Level Synthesis
Kluwer, 1992
Gebotys and Elmasry Optimal VLSI Architectural Synthesis Kluwer 1992
Ashar, Devadas, and Newton: Sequential Logic Synthesis
Kluwer, 1992
Camposano and Wolf: High-Level VLSI Synthesis
Kluwer, 1991
Carlson: Introduction to HDL-based Design Using VHDL
Synopsys, 1990.
Kurup and Abbasi: Logic Synthesis Using Synopsys
Kluwer, 1995
Thomas, Lagnese, Walker, Nestor, Rajan, and Blackburn: Algorithmic and Register
Transfer Level Synthesis: The System Architect's Workbench, Kluwer, 1990

Modeling with VHDL