Tài liệu tham khảo |
Loại |
Chi tiết |
1. Druian, R. L., Functional Models for VLSI Design, Proc. 20th D.A. Conf., 1983, pp. 506–514 |
Sách, tạp chí |
Tiêu đề: |
Proc. 20th D.A. Conf |
|
2. Falkoff, A. D., K. E. Iverson, and E. H. Sussenguth, Formal Description of System/360, IBM Syst. J., 3, 1964, pp. 198–262 |
Sách, tạp chí |
|
3. Hill, F. J., and G. R. Peterson, Computer Aided Logical Design: With Emphasis on VLSI, 4th ed., John Wiley & Sons, New York, 1993 |
Sách, tạp chí |
Tiêu đề: |
Computer Aided Logical Design: With Emphasis on VLSI |
|
4. Chu, Y., Introduction to Computer Organization, Prentice-Hall, Englewood Cliffs, NJ, 1970 |
Sách, tạp chí |
Tiêu đề: |
Introduction to Computer Organization |
|
5. Duley, J. R., and D. L. Dietmeyer, A Digital System Design Language (DDL), IEEE Trans. Comput., Vol. C-17, September 1968, pp. 850–861 |
Sách, tạp chí |
Tiêu đề: |
IEEE"Trans. Comput |
|
6. Kumar, Jainendra, Prototyping the M68060 for Concurrent Verification, IEEE Des. Test, Vol. 14, No. 1, January–March 1997, pp. 34–41 |
Sách, tạp chí |
|
7. Bryant, R. E., A Switch-level Model and Simulator for MOS Digital Systems, IEEE Trans. Comput., Vol. C-33, No. 2, February 1984, pp. 160–177 |
Sách, tạp chí |
Tiêu đề: |
IEEE"Trans. Comput |
|
8. Sheffer, H. M., A Set of Five Independent Postulates for Boolean Algebras, Trans. Am.Math. Soc., Vol. 14, 1913, pp. 481–488 |
Sách, tạp chí |
Tiêu đề: |
Trans. Am."Math. Soc |
|
9. Huffman, D. A., The Synthesis of Sequential Circuits, J. Franklin Inst., Vol. 257, 1954, pp. 161–190 and 275–303 |
Sách, tạp chí |
Tiêu đề: |
J. Franklin Inst |
|
10. The TTL Data Book, 2nd ed., Texas Instruments, Dallas, TX, pp. 6–48 |
Sách, tạp chí |
Tiêu đề: |
The TTL Data Book |
|
11. Ulrich, E., and D. Hebert, Speed and Accuracy in Digital Network Simulation Based on Structural Modeling, Proc. 19th D.A. Conf., 1982, pp. 587–593 |
Sách, tạp chí |
Tiêu đề: |
Proc. 19th D.A. Conf |
|
12. Eichelberger, E. B., Hazard Detection in Combinational and Sequential Switching Circuits, IBM J. Res. Dev., Vol. 9, No. 2, March 1965, pp. 90–99 |
Sách, tạp chí |
|
13. Hardie, F. H., and R. J. Suhocki, Design and Use of Fault Simulation for Saturn Computer Design, IEEE Trans. Electron. Comput., Vol. EC-16, No. 4, August 1967, pp. 412–429 |
Sách, tạp chí |
Tiêu đề: |
IEEE Trans. Electron. Comput |
|
14. Thomas, Don, and Phil Moorby, The Verilog Hardware Description Language, 3rd ed., Kluwer, Boston, 1996 |
Sách, tạp chí |
Tiêu đề: |
The Verilog Hardware Description Language |
|
15. Palnitkar, Samir, Verilog HDL, Prentice-Hall, Upper Saddle River, NJ, 1996 |
Sách, tạp chí |
|
16. IEEE 1364 Standard, Verilog Hardware Description Language Reference Manual (LRM), IEEE Standards Assoc., Piscataway, NJ |
Sách, tạp chí |
Tiêu đề: |
Verilog Hardware Description Language Reference Manual(LRM |
|
17. Fantauzzi, G., An Algebraic Model for the Analysis of Logical Circuits, IEEE Trans.Comput., Vol. C-23, No. 6, June 1974, pp. 576–581 |
Sách, tạp chí |
Tiêu đề: |
IEEE Trans."Comput |
|
18. Phillips, N. D., and J. G. Tellier, Efficient Event Manipulation: The Key to Large Scale Simulation, Proc. 1978 IEEE Int. Test Conf., pp. 266–273 |
Sách, tạp chí |
Tiêu đề: |
Proc. 1978 IEEE Int. Test Conf |
|
19. Ulrich, E. G., Exclusive Simulation of Activity in Digital Networks, Commun. ACM, Vol. 12, No. 2, February 1969, pp. 102–110 |
Sách, tạp chí |
|
20. Ulrich, E. G., Non-integral Event Timing for Digital Logic Simulation, Proc. 14th D.A.Conf., 1976, pp. 61–67 |
Sách, tạp chí |
Tiêu đề: |
Proc. 14th D.A."Conf |
|