属性说明语言在基于断言的硬件验证中的应用

作     者：刘有耀 韩俊刚 LIU You-yao;HAN Jun-gang

作者机构：西安邮电学院ASIC设计中心陕西西安710061 

基　　金：国家自然科学基金项目(90207015) 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2006年第23卷第5期

页      码：109-111,114页

摘      要：EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验证方法。用一个实例说明了怎样用PSL语言实现基于断言的验证。

主 题 词：硬件电路 属性说明语言 基于断言验证 

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

D　O　I：10.3969/j.issn.1000-7180.2006.05.032

馆 藏 号：203424479...