[1] R. Airiau J.-M.Bergé V.Olive Circuit Synthesis with VHDL Kluwer Dordrecht, The Netherlands 1994.
[2] P.J. Ashenden Digital Design: An Embedded Systems Approach Using VHDL, Morgan Kaufmann Publishers Boston, MA, 2008
[3] C.G. Bell A.Newell Computer Structures: Readings and Examples, McGraw-Hill New York 1971.
[4] C.Eisner D.Fisman A Practical Introduction to PSL, Springer, 2006.
[5] Electronic Industries Association Standard Data Transfer Format between Data Preparation System and Programmable Logic Device Programmer, JEDEC Standard JESD3-C EIA Washington, DC 1994.
[6] M.B. Feldman Data Structures with Ada, Prentice-Hall Englewood Cliffs, NJ, 1985.
[7] Harry D.Foster Adam C.Krolnik David J.Lacey Assertion-Based Design, Kluwer Academic Publishers, 2003.
[8] D.D.Gajski R.H.Kuhn “New VLSI Tools”, IEEE Computer Vol. 16 no. 12 December 1983 11 –14.
[9] Institute for Electrical and Electronic Engineers IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std 754–1985 IEEE, New York, 1985.
[10] Institute for Electrical and Electronic Engineers, IEEE Standard for Radix-Independent Floating-Point Arithmetic, ANSI/IEEE Std 854–1987, IEEE, New York, 1987.
[11] Institute for Electrical and Electronic Engineers Information Technology—Microprocessor Systems—Futurebus+—Logical Protocol Specification, ISO/IEC 10857, ANSI/IEEE Std. 896.1, IEEE, New York 1994.
[12] R. Jain The Art of Computer System Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, Wiley New York 1991.
[13] OpenCores Organization WISHBONE System-on-Chip (SoC) Interconnection Architecture for Portable IP Cores, Revision B.3, 2002, www.opencores.org/projects.cgi/web/wishbone/wbspec_b3.pdf.
[14] S.P.Smith R.D.Acosta “Value System for Switch-Level Modeling”, IEEE Design & Test of Computers Vol. 7 No. 3 (June 1990), 33–41.
[15] I.E.Sutherland C.E.Molnar R.F.Sproull J.C.Mudge “The TRIMOSBUS”, Proceedings of the Caltech Conference on VLSI, January 1979.
[16] A.S.Tanenbaum Structured Computer Organization, 3rd edition,, Prentice-Hall Englewood Cliffs, NJ 1990.
[17] S.A. Ward R.H. Halstead Jr.,Computation Structures, MIT Press, Cambridge, MA, and McGraw-Hill New York, 1990.
[18] N.Weste K.Eshraghian Principles of CMOS VLSI Design: A Systems Perspective, Addison-Wesley, Reading, MA, 1985.