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

摘要：

为解决数字信号处理器(digital signal processor,DSP)的数据供给问题,设计了一个可高效搬运数据的部件——直接存储器访问控制器(direct memory access controller,DMAC).采用了模拟验证方法和基于断言的验证方法对设计进行了功能验证.传统的模拟验证方法目前仍是主流的功能验证方法,但基于断言的验证方法是今后集成电路验证的发展方向.模拟验证方法虽具有使用简单,不受设计规模影响的优点,却不能证明设计的完备性,而基于断言的验证方法虽具有验证完备性,但能够验证的设计规模有限.把两者结合起来,就能够发挥各自的优点.实验结果表明,把两者结合起来进行验证,确实能够提高验证质量.

关键词：数字信号处理器、直接存储器访问控制器、功能验证、模拟验证、基于断言的验证

所属期刊栏目：35

分类号：TP39(计算技术、计算机技术)

资助基金：国家“核高基”重大专项集成电路类基金项目2009ZX01034-001-001-006

在线出版日期：2014-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：112-118