-




  1. .
  2. ... . , 2008.
  3. MIPS64 Architecture For Programmers. Revision 2.0. MIPS Technologies Inc., June 9, 2003.
  4. K.J.Hayhurst, D.S.Veerhusen, J.J.Chilenski, and L.K.Rierson. A Practical Tutorial on Modified Condition/Decision Coverage. Report NASA/TM-2001-210876, NASA, USA, May 2001.
  5. A.Adir, R.Emek,Y.Katz, A.Koyfman. DeepTrans A Model-Based Approach to Functional Verification of Address Translation Mechanisms. Microprocessor Test and Verification: Common Challenges and Solutions, 2003.
  6. .
  7. A.Adir, E.Almog, L.Fournier, E.Marcus, M.Rimon, M.Vinov, A.Ziv. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. Design and Test, 2004.
  8. M.Behm, J.Ludden, Y.Lichtenstein, M.Rimon, M.Vinov. Industrial Experience with Test Generation Languages for Processor Verification. Design Automation Conference, 2004.

, (Verilog, VHDL).

, , ..

, MMU, .