基于断言的验证相关论文
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要.阐述了5种......
随着ASIC和SoC设计复杂程度的不断提高，功能验证越来越受到重视。作为新兴的验证方法，基于断言的验证得到越来越广泛的应用。本文介......
在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证......
随着集成电路设计复杂程度的不断提高，功能验证越来越受到重视．一种新兴的验证方法，基于断言的验证，得到越来越广泛的应用．介绍了基于断......
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域（Clock Domain Crossing,CDC）设计越来越多,CDC设计和验证越来越重要。阐述了5种......
介绍了一种易于实现的基于断言的验证（ABV）方法，即经过5个步骤在设计文件中插入断言，使仿真器在仿真过程中监视设计中的关键功能点．该方......
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/......
基于断言的验证方法被认为是在硬件设计验证方面的一次重大的方法学的变革。它能有效地提高验证工作的质量和效率。而性质描述语言......
为解决数字信号处理器（digital signal processor，DSP）的数据供给问题，设计了一个可高效搬运数据的部件-直接存储器访问控制器（direct m......
