高性能DSP软核中DMA控制器的设计与验证

发布时间：2018-07-21 16:25

【摘要】：为解决数字信号处理器(digital signal processor,DSP)的数据供给问题,设计了一个可高效搬运数据的部件———直接存储器访问控制器(direct memory access controller,DMAC)。采用了模拟验证方法和基于断言的验证方法对设计进行了功能验证。传统的模拟验证方法目前仍是主流的功能验证方法,但基于断言的验证方法是今后集成电路验证的发展方向。模拟验证方法虽具有使用简单,不受设计规模影响的优点,却不能证明设计的完备性,而基于断言的验证方法虽具有验证完备性,但能够验证的设计规模有限。把两者结合起来,就能够发挥各自的优点。实验结果表明,把两者结合起来进行验证,确实能够提高验证质量。
[Abstract]:In order to solve the data supply problem of digital signal processor (digital signal processor), a direct memory access controller (direct memory access controller DMAC) is designed to transport data efficiently. Simulation verification method and assertion based verification method are used to verify the function of the design. The traditional analog verification method is still the mainstream functional verification method, but the verification method based on assertion is the development direction of IC verification in the future. Although the simulation verification method has the advantages of simple use and not influenced by the design scale, it can not prove the completeness of the design. Although the verification method based on assertion has the verification completeness, the design scale that can be verified is limited. Combine the two and you will be able to take advantage of them. The experimental results show that the combination of the two can improve the quality of verification.
【作者单位】： 国防科学技术大学计算机学院;
【基金】：国家“核高基”重大专项(集成电路类)基金项目(2009ZX01034-001-001-006)
【分类号】：TP332

【相似文献】

相关期刊论文 前10条

1 张葵;;TMS320C25高速低功耗的数字信号处理芯片[J];军事通信技术;1988年01期

2 张葵;;可编程数字信号处理器的结构[J];军事通信技术;1990年04期

3 ;小“芯”有好处 DSP作MultiVoice网关处理器[J];每周电脑报;1998年44期

4 盛;;几种实时系统使用的DSP[J];电子测试;2001年04期

5 顾中国;孙超;李斌;赵妮;;一种新的TMS320C542 DSP并口引导装载方法[J];计算机工程与应用;2006年12期

6 肖雪娜;;论DSP技术[J];黑龙江科技信息;2007年05期

7 沈寿金;江明;李刚民;陈伯时;;采用高速数字信号处理器(DSP)的非线性解耦控制交流变频调速系统[J];电气传动;1994年03期

8 张振宇;赵栋利;夏超英;;基于DSP的在线式UPS锁相环设计[J];电气自动化;2002年05期

9 王元鹏;谢瑞和;;HI08接口实现DSP与其它处理器的通信[J];电工技术;2004年05期

10 郭国良;闫佩君;张雄伟;;DSP芯片应用系列讲座(二) 第3讲 TMS320C28x的指令系统与寻址方式[J];军事通信技术;2005年02期

相关会议论文 前10条

1 张春;王志华;;DSP系统的系统内编程的实现[A];第九届全国信号处理学术年会（CCSP-99）论文集[C];1999年

2 丑武胜;李长征;;基于DSP的永磁同步电机控制系统硬件设计[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年

3 包晓瑜;张登洪;;基于TMS320VC5416的计算装置设计[A];中国工程物理研究院科技年报（2005）[C];2005年

4 鲁剑锋;吴川;;基于模糊理论的自适应阈值实时DSP系统[A];2007年光电探测与制导技术的发展与应用研讨会论文集[C];2007年

5 尚U，

本文编号：2136102