LSIS-II布图设计系统中的联接关系正确性验证子系统

本文介绍了我所研制的LSIS-Ⅱ布图设计系统中的联接关系正确性验证子系统.此子系统系启发式验证系统,以十项验证原则为算法基础,并采用了分级检查的方法,以及为提高错误命中率,运用了定向自锁和区域自锁技术,获得了令人满意的效果,为利用LSLS-Ⅱ系统进行LSI/VLSI的设计奠定了可靠的基础.