【摘 要】
:
本文介绍了我所研制的LSIS-Ⅱ布图设计系统中的联接关系正确性验证子系统.此子系统系启发式验证系统,以十项验证原则为算法基础,并采用了分级检查的方法,以及为提高错误命中
【机 构】
:
中国科学院半导体研究所,中国科学院半导体研究所
论文部分内容阅读
本文介绍了我所研制的LSIS-Ⅱ布图设计系统中的联接关系正确性验证子系统.此子系统系启发式验证系统,以十项验证原则为算法基础,并采用了分级检查的方法,以及为提高错误命中率,运用了定向自锁和区域自锁技术,获得了令人满意的效果,为利用LSLS-Ⅱ系统进行LSI/VLSI的设计奠定了可靠的基础.
In this paper, I introduced the LSIS-Ⅱ layout design verification system of the connection validation subsystem.This subsystem is a heuristic verification system, based on the ten verification principles as the algorithm, and uses a hierarchical inspection method, In order to improve the mis-hit rate, directional self-locking and area self-locking techniques are applied to obtain satisfactory results. This provides a solid foundation for LSI / VLSI design using LSLS-Ⅱ system.
其他文献
本文详细介绍Intel公司的2920单片数字信号处理机的体系结构;叙述2920工作原理和指令系统;还列举了三个应用实例,说明其设计方法。最后简单介绍2920的开发系统。
This artic
举步维艰孜孜以求追溯欧洲客车工业的发展,至今已有100多年的历史,在这段不长、但也不短的时间之内,欧洲客车制造业的发展如同那多变的万花筒,令人眼花缭乱、始料不及。按照
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
(本刊讯 )为提高我国水土保持监测工作的业务水平 ,加强交流联系 ,推动该领域的理论研究 ,丰富水土保持科学研究的内容 ,水利部水土保持监测中心拟于 2 0 0 1年 8月组织召开
《激光与红外》与读者见面已有十五年的历史。1976年遵照电子工业部的指示,改为激光专业情报网和红外专业情报网的联合网刊至今正好满十年。过去十年也是中国电子学会恢复活
爆竹响,声声脆,举杯同庆,人月理当两团圆。酒满盅,泪溅瓯,相逢几何,欲诉难为候君归。上世纪年代初,李安导演的《喜宴》得了金熊奖,与很多文艺片类似,李安这部成名作又与同性
没有花香的地方不能叫做花园,没有书声的地方不能叫做校园。书籍是人类宝贵的营养品,书籍也是人类思想和灵魂造就的工具。中学是青少年思想塑造和素养形成的关键时期。书籍对
语文素养是学生成长与发展中不可缺少的基本素养之一,阅读教学在提升学生思维能力、交流能力以及理解能力等方面的作用十分突出,因此应当对阅读教学予以高度的重视。但是受到
您如果买过车,您肯定知道买车是件非常不容易的事;其实您用车,您才会知道车辆使用当中的维护问题是件非常困难的事,不是把车开进维修站或者维修厂这么简单。其实客车维护也是
地上的纸箱里堆着过期的杂志和报纸,折叠椅和木凳依然是上世纪90年代的朴素式样,中国几乎人手一本的《现代汉语词典》,就诞生在这里——北京建国门内大街中国社会科学院语言研究所词典编辑室办公室。 韩敬体掏出钥匙,打开古旧的铁皮档案柜,颤巍巍地捧出几本青灰色封皮、微黄色内页《现代汉语词典》:“这些词典都是按照时间顺序排列好的,别弄乱了。”鲜红封皮的第六版“现汉”被小心翼翼地排在最后一位。72岁的他曾是词