Module Verification of Microprocessor "Longteng R2"

Jing Peng,Gao Deyuan,Huang Xiaoping
DOI: https://doi.org/10.16526/j.cnki.11-4762/tp.2009.06.030
2009-01-01
Abstract:This paper presents a method that constructs automatic verification environment by using pipeline model and function coverage.In the process of verification,the environment generates instructions randomly and also can generate instructions for uncovered module according to the coverage and status of processor.The simulation result demonstrates that this method deduces the verification periods and increases the coverage comparing to the traditional method.
What problem does this paper attempt to address?