|
|||||
|
|
| LSIS-II布图设计系统中的联接关系正确性验证子系统 | |
| 引用本文： | 高春华,庄文君.LSIS-II布图设计系统中的联接关系正确性验证子系统[J].半导体学报,1986,7(3):284-291. |
| 作者姓名： | 高春华 庄文君 |
| 作者单位： | 中国科学院半导体研究所 (高春华)，中国科学院半导体研究所(庄文君) |
| 摘 要： | 本文介绍了我所研制的LSIS-Ⅱ布图设计系统中的联接关系正确性验证子系统.此子系统系启发式验证系统,以十项验证原则为算法基础,并采用了分级检查的方法,以及为提高错误命中率,运用了定向自锁和区域自锁技术,获得了令人满意的效果,为利用LSLS-Ⅱ系统进行LSI/VLSI的设计奠定了可靠的基础. |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《半导体学报》浏览原始摘要信息 | |
| 点击此处可从《半导体学报》下载免费的PDF全文 | |