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 |
|
2. Synopsys Module Compiler, http://www.synopsys.com/products/datapath/datapath.html |
Sách, tạp chí |
Tiêu đề: |
Synopsys Module Compiler |
|
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 đề: |
A general approach for regularity extraction in datapath circuits |
Tác giả: |
A.Chowdhary, S.Kale, P.Saripella, N.K.Sehgal, R.K.Gupta |
Nhà XB: |
International Conference on Computer-Aided Design |
Năm: |
1998 |
|
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 |
Tác giả: |
D. Thomas, P. Moorby |
Nhà XB: |
Kluwer Academic |
Năm: |
1991 |
|
7. Synopsys Behavioral Compiler, http://www.synopsys.com/products/beh_syn/beh_syn.html |
Sách, tạp chí |
Tiêu đề: |
Synopsys Behavioral Compiler |
|
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 |
|
11. Synopsys Design Compiler, http://www.synopsys.com/products/logic/logic.html |
Sách, tạp chí |
Tiêu đề: |
Synopsys Design Compiler |
|
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 đề: |
Introduction to high-level synthesis |
Tác giả: |
D.D.Gajski, L.Ramachandran |
Nhà XB: |
IEEE Design Test Comput. |
Năm: |
1994 |
|
13. D.D.Gajski, Principles of Digital Design, Prentice Hall, Englewood Cliffs, NJ, 1997 |
Sách, tạp chí |
Tiêu đề: |
Principles of Digital Design |
|
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 |
|
17. D.Ku and G.De Micheli, HardwareC—a language for hardware design, Stanford Univ. Tech. Rep.CSL-TR-90–419, 1988 |
Sách, tạp chí |
Tiêu đề: |
HardwareC—a language for hardware design |
Tác giả: |
D.Ku, G.De Micheli |
Nhà XB: |
Stanford Univ. Tech. Rep.CSL-TR-90–419 |
Năm: |
1988 |
|
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 |
|