一种新式的“可扩展”验证策略

来源 :电子与电脑 | 被引量 : 0次 | 上传用户:jfm98999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现有的设计和验证方式存在的问题是:验证处于设计的从属地位。由于很多相关原因必须改变这种现状,特别在大规模高复杂度电子系统的时代,这个改变尤其需要。功能错误是导致设计返工的主要原因。而作为检测那些错误的功能验证过程.是设计流程中最大的瓶颈。一般来说,验证工作至少占整个设计活动的50%。
其他文献
《建筑照明设计标准》(GB50034—2004以下简称《标准》)已于2004年12月1日正式实施。这是一个将原《工业企业照明设计标准》(GB50034—92)和原《民用建筑照明设计标准》(GBJl33—9
2010将是中国节能减排与环保成绩接受检验的一年,低碳年代已悄然临近。回首2003年6月由国家科技部所启动的《国家半导体照明工程》,到2009年9月六大部委共同推出《关于印发半导
2004年7月16日。建设部在其网站上公布了《节约能源——城市绿色照明示范工程》文件,以推进照明节电。并确定到2008年实现城市照明节电15%。到2010年实现建筑物室内照明节电10%
随着2008北京奥运会运动员村照明工程招投标开标,松业、飞利浦、TCL……这些照明行业内中外知名品牌竞标该工程的帷幕也悄然落下,松业照明凭借综合性价比优势赢得了该项照明工
传说,北宋大文学家苏轼,有一次到妹夫秦观家里去作客。苏小妹见哥哥来了,大摆酒席,热情招待。
在19世纪爱迪生发明电灯之前,人类实现照明的方式非常简单,那就是直接借助各种火源的直射光,例如蜡烛、油灯等等。这些发光设备虽然在人类的历史长河中点燃了漫漫岁月,却因为极低
在2008香港国际灯饰展上,欧司朗光电半导体向人们展示种类繁多、琳琅满目的固态照明应用发光二极管(LED)解决方案,同时展示了面向商业市场和消费市场的多种产品,从LED元件到LED灯
“国家信息技术紧缺人才培养工程”——电子工程与集成电路技术培训项目正式启动 虽说太阳底下无鲜事,但近来常坐北京环线地铁的乘客也不难发现,当列车穿越隧道时.隧道里不再一
路灯电缆偷盗造成的经济损失和社会危害巨大。近年来。路灯电缆偷盗的趋势不断恶化.解决该问题刻不容缓。本文介绍了目前电缆偷盗的形势。介绍了一种成熟的路灯电缆防盗报警技