一种新式的\\"可扩展\\"验证策略

来源 :电子与电脑 | 被引量 : 0次 | 上传用户:rambo0316
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1.导言 现有的设计和验证方式存在的问题是:验证处于设计的从属地位。由于很多相关原因必须改变这种现状,特别在大规模高复杂度电子系统的时代,这个改变尤其需要。功能错误是导致设计返工的主要原因。而作为检测那些错误的功能验证过程,是设计流程中最大的瓶颈。一般来说,验证工作至少占整个设计活动的50%。 1. Introduction The existing design and verification problems are: validation is in the design of the subordinate position. This situation has to be changed for a number of related reasons, especially in the era of large-scale, high-complexity electronic systems. Functional errors are the main cause of design rework. The most important bottleneck in the design process is the functional verification process that detects those errors. In general, verification accounts for at least 50% of the total design activity.
其他文献
哈萨克斯坦总统努·纳扎尔巴耶夫与2001年11月16日抵达哈萨克斯坦共和国访问的乌兹别克斯坦总统伊·卡里莫夫举行了会晤。在会晤中两国总统讨论了进一步发展合作、加强地区
朱镕基总理曾在一次经济报告中说过,我们要关注俄罗斯经济的发展。俄罗斯资源丰富,森林广阔,盛产石油,而工农业及生活用品却依赖进口,是一个潜在的巨大的国际市场。这位从休
在毛主席关于理论问题的重要指示指引下,一个学习无产阶级专政理论的热潮正在我厂蓬勃发展。这一学习运动推动着批林批孔和工业学大庆运动不断深入发展,促进了安定、团结,极
鉴于目前交通流领域中特殊路况引起道路通行能力下降的研究课题的匮乏,本文考虑到了行驶在坡道上的车辆不可避免要受到自身重力的影响,而提出了一改进的Nagel-Schreckenberg
外形复杂的凸模,为便于加工,往往设计成直式凸模(如用数控式电火花线切割机床加工,很容易实现)。直式凸模固定在凸模固定板上的方式有几种,钢珠固定是其中的一种,适于一般的
沈阳第三机床厂坚持以党的基本路线为纲,认真落实“鞍钢宪法”,积极开展“工业学大庆”群众运动,革命热气腾腾,生产蒸蒸日上。 他们发扬大庆人革命加拚命的精神,自力更生,土法上马,
过去我厂在型腔模制造方面,都采用机械加工(如车、铣、刨、磨等),但由于机械加工的表面刀纹深,在某种程度上余量大,须经钳工反复精修抛光才能成型,这样工作量大,劳动强度高,
车牌自动识别系统是一种基于自动检测、图像处理、计算机视觉以及模式识别等技术于一体的智能交通管理系统,在智能交通领域中起着举足轻重的地位。文章在阐述了车牌自动识别
我车间大炉班的工人师傅,自70年以来,在冲天炉上用刨花代替木柴点火,每年既节约了大量木柴,也对废物实行了综合利用。操作要点是在炉子修完后,从后炉工作门放一根2寸铁管在炉
近年来国内外均在继续探讨无汞盐测铁的方法。用铝还原Fe~(3+)的方法,大宝山矿中心试验室曾试验应用,使用的是铝箔(20×50×0.1mm的铝片,0.228克)。为防止Fe~(2+)氧化,加Na_