欧美在线观看视频网站,亚洲熟妇色自偷自拍另类,啪啪伊人网,中文字幕第13亚洲另类,中文成人久久久久影院免费观看 ,精品人妻人人做人人爽,亚洲a视频

基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法

文檔序號(hào):6339615閱讀:330來(lái)源:國(guó)知局
專利名稱:基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法
基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法技術(shù)領(lǐng)域
本發(fā)明是一種基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法,屬于集成電路計(jì)算機(jī)輔助設(shè)計(jì)領(lǐng)域,尤其涉及版圖與邏輯圖的一致性(Layout vs. Schematic, LVS)驗(yàn)證問(wèn)題。
背景技術(shù)
隨著集成電路設(shè)計(jì)水平和工藝技術(shù)的提高,集成電路的規(guī)模越來(lái)越大,對(duì)網(wǎng)表驗(yàn)證工具提出了越來(lái)越高的要求。
為了支持更大規(guī)模的網(wǎng)表驗(yàn)證,以及更快地完成驗(yàn)證流程,通常會(huì)采用層次化的網(wǎng)表比較方法。在實(shí)際應(yīng)用過(guò)程中,原理圖中部分冗余端口在版圖中并不存在,從版圖提取得到的層次化網(wǎng)表和原理圖網(wǎng)表做比較操作時(shí),往往就會(huì)出現(xiàn)參與比較的子單元的端口不一致。如果不加以調(diào)整,就會(huì)得到錯(cuò)誤的比較結(jié)果,而后續(xù)的父單元比較時(shí),就要把不匹配的單元進(jìn)行打散處理,使層次化比較失去意義。本發(fā)明針對(duì)這種情況,提出了基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法,使參與比較的子單元能快速完成端口調(diào)整而達(dá)到一致。發(fā)明內(nèi)容
本發(fā)明的目的在于提供一種層次化單元端口調(diào)整方法,以使層次化網(wǎng)表可以更加快速的完成匹配。
本發(fā)明的特征在于依照各單元的包含關(guān)系拓?fù)渑判?;逆序處理各單元,設(shè)置單元端口的可上提標(biāo)記,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);正序處理各層單元,設(shè)置各端口的可下拉標(biāo)志,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);逆序比較版圖和原理圖網(wǎng)表中的層次單元,根據(jù)參與比較的端口集合的一致性情況,通過(guò)連接關(guān)系樹(shù)調(diào)整端口的數(shù)量,實(shí)現(xiàn)端口一致,并更新連接關(guān)系樹(shù),然后開(kāi)始單元比較。利用本發(fā)明,可以避免參與比較的子單元因?yàn)槎丝诓灰恢聼o(wú)法完成比較,進(jìn)而避免了父單元比較時(shí)對(duì)此子單元打散處理,提高了整個(gè)網(wǎng)表比較的執(zhí)行效率。


圖1是網(wǎng)表單元拓?fù)潢P(guān)系圖。
圖2是單元端口上提下拉狀態(tài)示意圖
圖3是各單元端口上提下拉層次結(jié)構(gòu)以及連接關(guān)系樹(shù)
圖4是參與比較單元的端口集合圖
具體實(shí)施步驟
(1)依照包含關(guān)系對(duì)全部網(wǎng)表單元進(jìn)行拓?fù)渑判?,父單元在前,子單元在后。如圖 1所示,要保證子單元在父單元之后。
(2)逆序處理各子單元,設(shè)置子單元端口的可上提標(biāo)記,具體過(guò)程如下
1)統(tǒng)計(jì)此子單元所有端口的內(nèi)部有效連接數(shù)目,有效連接是指其連接的子單元的端口的狀態(tài)不能有可上提標(biāo)志;
2)如果某個(gè)端口的內(nèi)部有效連接數(shù)目為0,則設(shè)置可上提標(biāo)志,如端口 10和端口 2。同時(shí)建立連接關(guān)系子樹(shù),如端口 38的子樹(shù)為30和32。
3)從葉子單元開(kāi)始,循環(huán)執(zhí)行1)和幻,直到頂層單元。
(3)正序處理各子單元,設(shè)置各端口的可下拉標(biāo)志,具體過(guò)程如下
1)統(tǒng)計(jì)此子單元內(nèi)部網(wǎng)線(包括端口)的內(nèi)部有效連接數(shù)目;
2)如果某網(wǎng)線有效連接數(shù)目為1,如果是端口且有可下拉標(biāo)志,或不是端口,則設(shè)置此網(wǎng)線連接的子單元的相應(yīng)端口的可下拉標(biāo)志。如網(wǎng)線4是端口,有效連接數(shù)目為1,如果它有可下拉標(biāo)志,則端口 22的可下拉標(biāo)志需要設(shè)置。又如端口 16連接的網(wǎng)線的有效連接數(shù)目為0,且不是端口,則16需要設(shè)置可下拉標(biāo)志;同時(shí)建立連接關(guān)系子樹(shù),如40的子樹(shù)節(jié)點(diǎn)為38和34。
3)循環(huán)執(zhí)行1)和幻,處理所有具備子單元的單元。
(4)逆序比較版圖網(wǎng)表和原理圖網(wǎng)表各對(duì)應(yīng)單元,具體步驟如下
1)比價(jià)兩單元的端口集合,交集部分為一致的端口,如60,此部分端口如果具有上提或下拉標(biāo)志,則需要清除;
2)對(duì)于不一致的部分端口,如62和64,則根據(jù)其連接關(guān)系樹(shù)的子樹(shù)節(jié)點(diǎn)的狀態(tài)更新上提或下拉標(biāo)志,如果其子樹(shù)節(jié)點(diǎn)中原有的標(biāo)志清除,則父節(jié)點(diǎn)的標(biāo)志也需要清除,反之保持。標(biāo)志清除的端口由于無(wú)法從此單元中刪除,則認(rèn)為參與比較的單元不一致,退出比較,此端口也設(shè)置標(biāo)記,在其父節(jié)點(diǎn)更新上提下拉標(biāo)記時(shí),從關(guān)系樹(shù)中刪除此節(jié)點(diǎn);如果此節(jié)點(diǎn)的上提下拉標(biāo)志更新時(shí)沒(méi)有清除,則設(shè)置刪除標(biāo)志,即從單元端口集合中去除,如果是上提標(biāo)志,則其標(biāo)志不清除,如果是下拉標(biāo)志,則需要遍歷關(guān)系子樹(shù)中所有未比較過(guò)的節(jié)點(diǎn)并設(shè)置刪除標(biāo)志。
3)端口調(diào)整一致后,開(kāi)始單元的網(wǎng)表比較;
4)循環(huán)1)2)和3)直到所有單元比較完畢。
權(quán)利要求
1.基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法,其特征在于包括以下步驟①依照各單元的包含關(guān)系拓?fù)渑判?;②逆序處理各單元,設(shè)置單元端口的可上提標(biāo)記,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);③正序處理各層單元,設(shè)置各端口的可下拉標(biāo)志,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);④逆序比較版圖和原理圖網(wǎng)表中的層次單元,根據(jù)參與比較的端口集合的一致性情況, 通過(guò)連接關(guān)系樹(shù)調(diào)整端口的數(shù)量,實(shí)現(xiàn)端口一致,并更新連接關(guān)系樹(shù),然后開(kāi)始單元比較。
2.根據(jù)權(quán)利要求1所述的子單元端口調(diào)整方法,其特征在于,①依照各單元的包含關(guān)系拓?fù)渑判?,父單元在前,子單元在后?br> 3.根據(jù)權(quán)利要求1所述的子單元端口調(diào)整方法,其特征在于,②逆序處理各單元,設(shè)置單元端口的可上提標(biāo)記,如果某個(gè)端口在其子單元內(nèi)部的有效連接數(shù)為零,則設(shè)置可上提標(biāo)志,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù)。
4.根據(jù)權(quán)利要求1所述的子單元端口調(diào)整方法,其特征在于,③正序處理各單元,設(shè)置各端口的可下拉標(biāo)志。處理單元內(nèi)所有的網(wǎng)線,如果某網(wǎng)線的有效連接數(shù)大于1,則設(shè)置此網(wǎng)線連接的子單元端口的標(biāo)志為不可下拉;某條網(wǎng)線的有效連接數(shù)為1,如果是本單元端口且具有可下拉標(biāo)志或不是端口,另外相應(yīng)的子單元端口沒(méi)有不可下拉標(biāo)志,則設(shè)置相應(yīng)的子單元的對(duì)應(yīng)端口的可下拉標(biāo)志,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù)。
5.根據(jù)權(quán)利要求1所述的子單元端口調(diào)整方法,其特征在于,④逆序比較版圖和原理圖網(wǎng)表中的層次單元,根據(jù)參與比較的端口集合的一致性情況,通過(guò)連接關(guān)系樹(shù)調(diào)整端口的數(shù)量,實(shí)現(xiàn)端口一致,并更新連接關(guān)系樹(shù),然后開(kāi)始單元比較。
全文摘要
本發(fā)明是基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法,屬于集成電路計(jì)算機(jī)輔助設(shè)計(jì)領(lǐng)域。本發(fā)明的目的是為了提高層次化版圖與邏輯圖一致性驗(yàn)證的效率,提出一種基于連接關(guān)系樹(shù)的層次化單元端口調(diào)整方法,可以準(zhǔn)確修正子單元端口不一致的問(wèn)題。該方法的步驟為依照各單元的包含關(guān)系拓?fù)渑判颍荒嫘蛱幚砀鲉卧?,設(shè)置單元端口的可上提標(biāo)記,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);正序處理各層單元,設(shè)置各端口的可下拉標(biāo)志,同時(shí)創(chuàng)建或更新連接關(guān)系樹(shù);逆序比較版圖和原理圖網(wǎng)表中的層次單元,根據(jù)參與比較的端口集合的一致性情況,通過(guò)連接關(guān)系樹(shù)調(diào)整端口的數(shù)量,實(shí)現(xiàn)端口一致,并更新連接關(guān)系樹(shù),然后開(kāi)始單元比較。
文檔編號(hào)G06F17/50GK102542083SQ201010601518
公開(kāi)日2012年7月4日 申請(qǐng)日期2010年12月23日 優(yōu)先權(quán)日2010年12月23日
發(fā)明者宋曉輝, 黃國(guó)勇 申請(qǐng)人:北京晶智意達(dá)科技有限公司
網(wǎng)友詢問(wèn)留言 已有0條留言
  • 還沒(méi)有人留言評(píng)論。精彩留言會(huì)獲得點(diǎn)贊!
1
兰西县| 安远县| 泰宁县| 大新县| 古田县| 土默特右旗| 石首市| 读书| 寿光市| 泽库县| 呼和浩特市| 红安县| 久治县| 时尚| 运城市| 大庆市| 满洲里市| 巫山县| 乐业县| 吉安市| 沙河市| 离岛区| 项城市| 溧水县| 泸定县| 庆安县| 常州市| 邳州市| 绥宁县| 新野县| 自贡市| 洪江市| 清新县| 厦门市| 乐业县| 塔河县| 来安县| 兴隆县| 平顶山市| 阿坝| 临城县|