基于事务断言验证及SDH芯片验证平台  

Transaction Based Assertion Verification and Verification Platform of SDH Chip

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

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

出　　处：《微计算机信息》2007年第05Z期310-312,共3页Control & Automation

基　　金：国家"863"计划项目(2003AA1Z1190);国家自然科学基金项目(90207015)

摘　　要：提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PSL断言的状态,使得基于PSL的断言验证可以事务的形式灵活地应用。采用该技术建立了同步数字体系(Synchronous Digitial Hierarchy,SDH)验证平台,验证了超过100万门交换芯片的功能,实践表明,该方法极大的提高了验证覆盖率和验证效率。Transaction Based Assertion Verification methodology is presented. The property of system is described with property specification language（PSL） and the verification of system is achieved in transaction. And PSL based assertion verification is conveniently applied by transaction. With this method, A Synchronous Digitial Hierarchy（SDH） verification platform is designed. The platform has been applied to an over one-million gates SDH switch chip and experimental results show that the methodology greatly improved verification efficiency and coverage.

关 键 词：事务 断言 基于事务断言验证 同步数字体系 属性说明语言 

分 类 号：TN43[电子电信—微电子学与固体电子学] TN407