Verification Strategy for DSP in VLIW Architecture

ZHANG Yan-jun,HE Hu,DING Xie,LEI Ting,SUN Yi-he
DOI: https://doi.org/10.3969/j.issn.1000-7180.2007.02.001
2007-01-01
Abstract:Digital Signal Processors (DSPs) are a big challenge in the verification field because of their complexity. A simulation-based verification system is described in this paper and the system is based on the tool named μGP that can generate effective vectors for verification. Both Verilog-HDL code and C-model of the DSP are simulated on the vectors generated by μGP, and the results are compared. A 9-stage pipelined DSP with VLIW architecture is verified by this verification system, and the statement coverage can attain up to 99.9% within 4000 vectors.
What problem does this paper attempt to address?