The implementation method about verifying to VLIW DSP

Ding Xie,He Hu,Zhang Yanjun,Sun Yihe,Yu Yongkang
DOI: https://doi.org/10.1109/icasic.2005.1611418
2005-01-01
Abstract:Microprocessor cores are a big challenge in the verification field because of their complexity and specific applications. Simulation-based test vector generator μGP can generate test set more efficiently than a random approach without need of skilled engineers. In this paper we establish our verification of a 9-stage pipelined DSP with VLIW architecture on assistance of a test program generator. By adding a few manual test vectors statement coverage can attain up to 99.9%. This result shows the feasibility and effectiveness of our method. ©2005 IEEE.
What problem does this paper attempt to address?