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

Application of Property Specification Language in Assertion Based Verification on Hardware

作　　者：刘有耀[1] 韩俊刚[1] 

机构地区：[1]西安邮电学院ASIC设计中心,陕西西安710061

出　　处：《微电子学与计算机》2006年第5期109-111,114,共4页Microelectronics & Computer

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

摘　　要：EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验证方法。用一个实例说明了怎样用PSL语言实现基于断言的验证。Accellera, a standardization organization of EDA domain, recently decided the sugar language as standard property specification language, and it can be used as the design property specification of assertion based verification. This paper begins with a basic concept of assertion based verification and a introduction of use and property define of property specification language. And gives a verification method to implement hardware circuits of assertion based verification in PSL. Followed by a example illustrates how to implement on assertion based verification in PSL.

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]