以Transaction为基础的验证方法

来源 :电子设计技术 | 被引量 : 0次 | 上传用户:Hejing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文概述了以事务级为基础的验证方法(Transaction-basedVerification,TBV)。TBV方法提升了验证的抽象层,解决了日益复杂的设计所面临的验证挑战。随着 This article provides an overview of Transaction-based Verification (TBV). The TBV approach enhances the verification abstraction layer and addresses the validation challenges faced by increasingly complex designs. along with
其他文献
题记: 驱车河北,应邀参加河北省电线电缆治理整顿工作会议采访,记者心中并不轻松。2002年7月28日,中央电视台焦点访谈栏目对河北省廊坊市霸州武将台村制售假劣电线电缆情况
柳钢棒材厂第二条棒材连轧生产线技改工程设计方案通过审定,现已正式与中国冶金设备总公司签定了设计与供货合同。该生产线总投资1.26亿元,主要生产 The second bar and ro
采用 LSI 逻辑公司 DMN-8600处理器实现的低成本 DVD 录像机于2003年6月初由美国 Apex 公司设在中国江苏省的生产厂首批产出,并投放美国零售市场。“我们的目标是将DVD 录像
聚酯切片由于聚酯上游原料价格从3月份以来持续下滑,下游涤纶纤维及织造业也同时出现需求下降现象,使聚酯切片行情受到来自上下游市场 Polyester chips As polyester raw m
在垂暮的老者面前,它是多舛命运中无暇顾及的细微;在壮美的山河之中, 它承载着变迁历史遗留下的创新使命;空虚的人不再猥琐着无所事事的苦恼,浅薄的人继续在浮躁的精神海洋里
受原油价格上涨等因素的影响,近来亚洲市场聚酯短纤维的价格行情逐渐看涨。受供过于求的影响,目前中国台湾地区出售的聚酯短纤维的价格每千克在0.76-0.78美元(CFR)左右,比半
本文介绍了中国司法网站与美国司法网站的发展概况,并将两者在栏目、内容、功能等方面进行了充分比较,指出了中国司法网站尚需改进的有关问题。 This paper introduces the
“别人不肯做,或不能做的事,她却能做成功。她确有伟大的神力。”电视画面中,哈利·波特手持十一英寸长的冬青木制的魔杖,扶正祛邪,英姿飒爽,他上天入地,来去匆匆。“魔法大
江苏柏泰集团前身为扬州唯一制衣有限公司,是全国知名的服装企业。2002年8月,以扬州唯一制衣有限公司、江苏柏泰进出口贸易有限公司、扬州明一制衣厂为核心企业,组建成立了
每次的家具博览会都为我们提供了可以主导家具市场的重要信息,而这些产品所倡导的款式风尚更是居家装饰的走向标记。在“飓风”形成的珠江三角洲——深圳、东莞、广州三地的