基于断言的验证方法在总线协议验证中的应用

作     者：徐盛 章玮 金钊 

作者机构：同济大学微电子中心 

出 版 物：《电子设计应用》 (Electronic Design & Application World)

年 卷 期：2006年第11期

页      码：88-90页

摘      要：随着ASIC和SoC设计复杂程度的不断提高,功能验证越来越受到重视。作为新兴的验证方法,基于断言的验证得到越来越广泛的应用。本文介绍了基于断言的验证方法及其应用于功能验证的诸多优点,总结了断言验证在总线协议验证中的应用方法,并采用PSL语言举例进行了说明。

主 题 词：SoC 总线验证,断言 基于断言的验证 PSL 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

馆 藏 号：203409204...