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

D 基于事务断言验证及SH芯片验证平台 TransactionBasedAssertionVerificationandVerificationPlatformofSDH Chip 佰安邮电学院ASIC设计中心)刘有耀韩俊刚 LIUYOUYAOHAN 摘要：提出了基于事务断言验证技术。用属性说明语言fPropertySpecification 灵活地应用。采用该技术建立了同步数字体系(SynchronousDi西fid 的功能。实践表明，该方法极大的提高了验证覆盖率和验证效率。 关键词：事务；断言；基于事务断言验证；同步数字体系；属性说明语言 中图分类号：TN43：TN407 文献标识码：A of with Abstract：TransactionBasedAssertionVerification is isdescribed methodologypresented．Thepropertysystem propertyspecifi— cation theverificationof isachievedintransaction．AndPSLbasedassertionverificationis language(PSL)and system transaction．Withthis is has method，ASynchronous designed．The appliedby DigitialHierarchy(SDH)verificationplatform platform been toanoverone-millionSDHswitehand resultsshowthatthe ver- applied gates chip experimental methodologygreatlyimproved ification and efficiencycoverage． BasedAssertion Keywords：Transaction。Assertion。TransactionVerification，SynchronousmgitialHierarchy，PropertySpecifi· cation Language 1引言 2基于事务断言验证方法 在深亚微米级的工艺中，单个集成电路所能够实现的设计 2．1基于事务的验证技术 能力让人们可以灵活地将最终产品的所有功能都集成到单块 基于事务的验证是当前仿真中采用的主要验证技术。事务 UnderVerifica— 系统芯片(System—on—a—Chip，soc)之中；然而向SoC的发展使得可以理解为事务处理模块和被验证设计(Design 传统的验证方法面临着极大的挑战。作为数字逻辑设计变得越 来越大和越来越复杂，功能验证变成设计过程的一个瓶颈，减少 换与采用的协议无关，因为事务级模型通常不涉及具体的总线 功能验证时间是产品成功的关键。百万门以上的集成电路(In— 时序等细节。一个事务可能是系统模块之问传输的单个字，一 tegratedCircuit，Ic)设计没有困难，而百万门以上IC的功能验证列字或整个数据结构。 是