Yingpan Wu, Lixin Yu, Lidong Lan, Haiyang Zhou. A Coverage-Driven Constraint Random-Based Functional Verification Method of Memory Controller. In The 19th IEEE/IFIP International Symposium on Rapid System Prototyping:RSP 2009, Shortening the Path from Specification to Prototype, 2-5 June 2008, Monterey, California, USA. pages 99-104, IEEE Computer Society, 2008. [doi]
Abstract is missing.