Domain Coverage Metric for SoC Validation

来源 :Journal of Electronic Science and Technology of China | 被引量 : 0次 | 上传用户:luocai1982
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The importance of system-on-chip (SoC)validation continues to grow with the increase of designsize. An innovative domain coverage metric is proposedto measure the completeness and quality of validationapproach. Domain methodology is based on ageometrical analysis of the domain boundary and takesadvantage of the fact that the point on or near theboundary is the most sensitive to domain errors. Thecoverage tool has been implemented using Verilogprocedural interface (VPI) and applied to validation ofSoC under design. Results show that the domaincoverage can detect many design faults which statementand path coverage can not. The importance of system-on-chip (SoC) validation continues to grow with the increase of designsize. An innovative domain coverage metric is proposed to measure the completeness and quality of validationapproach. Domain methodology is based on ageometrical analysis of the domain boundary and takesadvantage of the fact that the point on or near theboundary is the most sensitive to domain errors. Thecoverage tool has been implemented using Verilogprocedural interface (VPI) and applied to validation ofSoC under design. Results show that the domaincoverage can detect many design faults which statement and path coverage can not.
其他文献
某菜:眼看着一年一度的春节就要来了,为了庆祝这举国欢庆的日子,小菜我决定买一台电脑。
A novel double-gate(DG) junction field effect transistor(JFET) with depletion operation mode is proposed in this paper.Compared with the conventional DG MOSFET,
2011年6月2日—8日,为进一步贯彻落实《国家民委关于做好少数民族语言文字管理工作的意见》(民委发[2010]53号)和《国家民委关于进一步做好民族语文翻译工作的指导 From Jun
1989年以来,国际关系进入了一个明显的动荡、变化的阶段。这场变革不仅来势迅猛、牵涉面广,而且引起了国际关系体系深层次的震撼。它不仅是在原有规则下大国间权力的再分配,
法国里尔新闻学院是一所私立学校,1924年建校。由于教学质量上乘,学生毕业后在很短时间就能熟悉业务,颇受法国新闻界青睐。该校学制两年,入校学生一般要求读过大学(不限学科
党的十四大确定,建立社会主义市场经济体制,是我国经济体制改革的目标。社会主义市场经济体制,是以公有制(包括全民所有制和集体所有制)为主体,个体经济,私营经济、外资经济
多边贸易体制是指关贸总协定确立的一整套发展国际多边自由贸易的规则及在此基础上形成的规范各缔约方贸易政策的制度。自关贸总协定签订生效以来,经过几轮多边贸易谈判,这
根据中国科协与英国皇家学会协议,英国AFRC园艺所首席科学家何廉全博士应邀于1990年4~5月间来上海访问。4月30日及5月3日曾先后作了《“库”器官中的物质卸出与糖代谢》和《
第五届国际形式语言学研讨会于2011年12月10日至12日在广东外语外贸大学召开。本次会议由教育部人文社科重点研究基地——外国语言学及应用语言学研究中心主办。会议组委会主
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.