期刊文章详细信息
基于断言的验证方法在总线协议验证中的应用
文献类型：期刊文章
机构地区：[1]同济大学微电子中心
年 份：2006
期 号：11
起止页码：88-90
语 种：中文
收录情况：普通刊
摘 要：随着ASIC和SoC设计复杂程度的不断提高,功能验证越来越受到重视。作为新兴的验证方法,基于断言的验证得到越来越广泛的应用。本文介绍了基于断言的验证方法及其应用于功能验证的诸多优点,总结了断言验证在总线协议验证中的应用方法,并采用PSL语言举例进行了说明。
关 键 词：SOC 总线验证,断言 基于断言的验证 PSL
分 类 号：TP336]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
