Design of SoC verification platform based on VMM methodology

A VMM-based verification platform has been implemented and applied to Yak SoC in this paper. The whole verification environment uses the SystemVerilog language, and the simulation tool adopted is Synopsys VCS-MX200606. The verification IP and SystemVerilog assertions help to heighten the performance of the platform. The verification results indicate that design errors of timing and anti-protocols have been exactly checked out with 100% verification coverage. The proposed platform, possessing fine configurability, flexibility and high performance, can be reused in similar verifications of other design1.

[1]  Eduard Cerny,et al.  Verification Methodology Manual for SystemVerilog , 2005 .

[2]  Tong Xu,et al.  Verification of a configurable processor core for system-on-a-chip designs , 2005, 2005 6th International Conference on ASIC.

[3]  Ralf Wunderlich,et al.  Modeling Approaches for Functional Verification of RF-SoCs: Limits and Future Requirements , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Jiri Gaisler A portable and fault-tolerant microprocessor based on the SPARC v8 architecture , 2002, Proceedings International Conference on Dependable Systems and Networks.

[5]  Harry D. Foster,et al.  Assertion-Based Design , 2010 .