基于断言的验证相关论文
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要.阐述了5种......
在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证......
随着集成电路设计复杂程度的不断提高，功能验证越来越受到重视．一种新兴的验证方法，基于断言的验证，得到越来越广泛的应用．介绍了基于断......
介绍了一种易于实现的基于断言的验证（ABV）方法，即经过5个步骤在设计文件中插入断言，使仿真器在仿真过程中监视设计中的关键功能点．该方......
为解决数字信号处理器（digital signal processor，DSP）的数据供给问题，设计了一个可高效搬运数据的部件-直接存储器访问控制器（direct m......
