%0 Journal Article
%T LSIS-II布图设计系统中的联接关系正确性验证子系统
%A 高春华
%A 庄文君
%J 半导体学报
%D 1986
%I 
%X 本文介绍了我所研制的LSIS-Ⅱ布图设计系统中的联接关系正确性验证子系统.此子系统系启发式验证系统,以十项验证原则为算法基础,并采用了分级检查的方法,以及为提高错误命中率,运用了定向自锁和区域自锁技术,获得了令人满意的效果,为利用LSLS-Ⅱ系统进行LSI/VLSI的设计奠定了可靠的基础.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=1319827C0C74AAE8D654BEA21B7F54D3&jid=025C8057C4D37C4BA0041DC7DE7C758F&aid=311E31DFA581ED9C&yid=4E65715CCF57055A&vid=DF92D298D3FF1E6E&iid=38B194292C032A66&sid=03E56C113B4E5A88&eid=6490F0E20C4B41AD&journal_id=1674-4926&journal_name=半导体学报&referenced_num=0&reference_num=0