1. Fauth, A., Van Praet, J., Freericks, M.: Describing instruction set processors using nML. In: Proceedings of European Design and Test Conference, Paris, pp. 503–507 (1995) ISBN 0-8186-7039-8
2. Hoffmann, A., Meyr, H., Leupers, R.: Architecture Exploration for Embedded Processors with LISA. Springer (2002) ISBN 1402073380
3. Codasip Framework. Codasip (2012),
http://www.codasip.com/
4. Martin, G., Bailey, B., Piziali, A.: ESL Design and Verification: A Prescription for Electronic System Level Methodology (Systems on Silicon). Morgan Kaufmann (2007) ISBN 0123735513
5. Mentor Graphics Verification Academy. UVM/OVM (2012),
https://verificationacademy.com/topics/verification-methodology