Reference Materials
for
CSE 517: Modeling with Hardware Design Languages
Modeling with VHDL
- Perry: VHDL
- McGraw-Hill, 1991
- Navabi: VHDL: Analysis and Modeling of Digital Systems
- McGraw-Hill, 1993
- Lipsett, Schaefer, Ussery: VHDL: Hardware Description
and Design
- Kluwer, 1989
Synthesis
-
Lecture Notes from CSE 518: Hardware Modeling with VHDL
- 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
Digital Logic Design
- McCluskey: Logic Design Principles with emphasis on
Testable Semicustom Circuits
- Prentice-Hall, 1986
VLSI fabrication
Weste and Eshraghian: Principles of CMOS VLSI Design:
A Systems Perspective
Addison-Wesley, 1993
Mukherjee:Introduction to nMOS and CMOS VLSI Systems Design
Prentice-Hall,1986
Bakoglu: Circuits, Interconnections, and Packaging for VLSI
Addison-Wesley, 1990
Design for testability
- Abramovici, Breuer, Friedman: Digital Systems Testing
and Testable Design
- Computer Science Press, 1990
Physical design automation tools
- Rubin: Computer Aids for VLSI Design
- Addison-Wesley, 1987
- Preas and Lorenzetti Physical Design Automation of VLSI
Systems
- Benjamin Cummings, 1988
IEEE Standards
available from IEEE, 445 Hoes Lane, P.O. Box 1331, Piscataway, NJ 08855-1331
- IEEE Std 1076-1993, IEEE Standard VHDL Language Reference
Manual
- IEEE Std 1164-1993, IEEE Standard Multivalue Logic System
for VHDL Model Interoperability
- (Std_logic_1164)
- IEEE Std 1029-1991, IEEE Standard for Waveform and Vector
Exchange (WAVES>
Copyright 1995, Ben M. Huey
Copying this document without the permission of the author is prohibited
and a violation of international copyright laws.
Rev. 9/25/95 B. Huey