1. J. Aynsley, OSCI TLM-2.0 Language Reference Manual, Open SystemC Initiative (OSCI) (2009) [online]. Available:
http://www.systemc.org/home
2. M. Glasser, Open Verification Methodology Cookbook (Mentor Graphics Corporation, 2009) [online]. Available:
http://www.mentor.com/cookbook
3. IEEE Standard 1800-2005: SystemVerilog – Unified Hardware Design, Specification, and Verification Language (The Institute of Electrical and Electronics Engineers, Inc., New York, 2005)
4. IEEE Standard 1666-2011: SystemC Language Reference Manual (The Institute of Electrical and Electronics Engineers, Inc., 2012)
5. Y.S. Iskander, C.D. Patterson, S.D. Craven, High-level abstractions and modular debugging for FPGA design validation. ACM Trans. Reconfigurable Technol. Syst. (TRETS) 7(2), 2:1–2:24 (2014)