Zhang, Shihua (2011) A TLM-RTL Systemverilog-Based Verification Franework for OCP Design. Masters thesis, Concordia University.