论文部分内容阅读
为解决数字信号处理器（digital signal processor，DSP）的数据供给问题，设计了一个可高效搬运数据的部件-直接存储器访问控制器（direct memory access controller，DMAC）。采用了模拟验证方法和基于断言的验证方法对设计进行了功能验证。传统的模拟验证方法目前仍是主流的功能验证方法，但基于断言的验证方法是今后集成电路验证的发展方向。模拟验证方法虽具有使用简单，不受设计规模影响的优点，却不能证明设计的完备性，而基于断言的验证方法虽具有验证完备性，但能够验证的设