Tài liệu tham khảo |
Loại |
Chi tiết |
1. G.De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill, New York, 1994 |
Sách, tạp chí |
Tiêu đề: |
Synthesis and Optimization of Digital Circuits |
|
3. A.Chowdhary, S.Kale, P.Saripella, N.K.Sehgal, and R.K.Gupta, A general approach for regularity extraction in datapath circuits, International Conference on Computer-Aided Design, 1998 |
Sách, tạp chí |
Tiêu đề: |
International Conference on Computer-Aided Design |
|
4. M.Keating and P.Bricaud, Reuse Methodology Manual for System-on-a-Chip Designs, Kluwer Academic, 1998 |
Sách, tạp chí |
Tiêu đề: |
Reuse Methodology Manual for System-on-a-Chip Designs |
|
6. D.Thomas and P.Moorby, The Verilog Hardware Description Language, Kluwer Academic, 1991 |
Sách, tạp chí |
Tiêu đề: |
The Verilog Hardware Description Language |
|
8. D.Gajski, S.Narayan, L.Ramachandran, F.Vahid, and P.Fung, System design methodologies: aiming at the 100 h design cycle, IEEE Transactions on (VLSI) Systems, vol. 4, no. 1, March 1996 |
Sách, tạp chí |
Tiêu đề: |
IEEE Transactions on (VLSI) Systems |
|
9. S.Devadas, A.Ghosh, and K.Keutzer, Logic Synthesis, McGraw-Hill, New York, 1994 |
Sách, tạp chí |
|
10. C.H.Roth Jr., Digital Systems Design Using VHDL, PWS Publishing, 1998 |
Sách, tạp chí |
Tiêu đề: |
Digital Systems Design Using VHDL |
|
12. D.D.Gajski and L.Ramachandran, Introduction to high-level synthesis, IEEE Design Test Comput., winter 1994 |
Sách, tạp chí |
Tiêu đề: |
IEEE Design Test Comput |
|
13. D.D.Gajski, Principles of Digital Design, Prentice Hall, Englewood Cliffs, NJ, 1997.14. S.Malik, private communication |
Sách, tạp chí |
Tiêu đề: |
Principles of Digital Design," Prentice Hall, Englewood Cliffs, NJ, 1997.14. S.Malik |
|
15. D.D.Gajski and R.H.Kuhn, Guest editor’s Introduction: New VLSI tools, IEEE Computer, Dec.1983 |
Sách, tạp chí |
|
16. A.Jantsch, A.Hemani, and S.Kumar, The Rugby Model: A Conceptual Frame for the Study of Modeling, Analysis and Synthesis Concepts of Electronic Systems, Design, Automation and Test in Europe, 1999 |
Sách, tạp chí |
Tiêu đề: |
The Rugby Model: A Conceptual Frame for the Study of Modeling,Analysis and Synthesis Concepts of Electronic Systems |
|
18. D.Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Programming, 8, 1987 |
Sách, tạp chí |
Tiêu đề: |
Sci. Comput. Programming |
|
19. P.Hilfinger and J.Rabaey, Anatomy of a Silicon Compiler, Kluwer Academic, 1992 |
Sách, tạp chí |
Tiêu đề: |
Anatomy of a Silicon Compiler |
|
20. N.Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic, 1993 |
Sách, tạp chí |
Tiêu đề: |
Synchronous Programming of Reactive Systems |
|
21. F.Vahid, S.Narayan, and D.D.Gajski, SpecCharts: A VHDL frontend for embedded systems, IEEE Trans. Computer-Aided Design, vol. 14, pp. 694–706, 1995 |
Sách, tạp chí |
Tiêu đề: |
IEEETrans. Computer-Aided Design |
|
22. R.K.Gupta and S.Y.Liao, Using a programming language for digital system design, IEEE Design and Test of Computers, Apr. 1997 |
Sách, tạp chí |
Tiêu đề: |
IEEE Design andTest of Computers |
|
23. N.Weste and K.Eshraghian, Principles of CMOS VLSI Design: A Systems Perspective, Addison-Wesley, 1994 |
Sách, tạp chí |
Tiêu đề: |
Principles of CMOS VLSI Design: A Systems Perspective |
|
2. Synopsys Module Compiler, http://www.synopsys.com/products/datapath/datapath.html |
Link |
|
7. Synopsys Behavioral Compiler, http://www.synopsys.com/products/beh_syn/beh_syn.html |
Link |
|
11. Synopsys Design Compiler, http://www.synopsys.com/products/logic/logic.html |
Link |
|