背景技術(shù):
1、電子電路(例如集成電路)幾乎用于現(xiàn)代社會的每個方面,從汽車到微波再到個人計算機。電路的設(shè)計可能涉及許多步驟,稱為“設(shè)計流程”。設(shè)計流程的特定步驟通常取決于所設(shè)計的微電路的類型、其復(fù)雜性、設(shè)計團(tuán)隊以及將制造電路的電路制造商或代工廠。電子設(shè)計自動化(electronic?design?automation,eda)應(yīng)用支持制造前的電路設(shè)計和驗證。eda應(yīng)用可以實現(xiàn)各種eda過程,例如功能、工具、或特征,以在設(shè)計流程的各個階段分析、測試或驗證電路設(shè)計。
技術(shù)實現(xiàn)思路
1.一種方法,包括:
2.根據(jù)權(quán)利要求1所述的方法,包括通過由所述計算系統(tǒng)(100,700)實現(xiàn)的系統(tǒng)設(shè)計違反邏輯的不同實例來檢測所述ic設(shè)計(210)中的多個系統(tǒng)設(shè)計違反,其中,所述系統(tǒng)設(shè)計違反邏輯的每個實例被配置為檢測不同的系統(tǒng)設(shè)計違反。
3.根據(jù)權(quán)利要求1所述的方法,還包括:
4.根據(jù)權(quán)利要求1所述的方法,包括在對所述ic設(shè)計(210)執(zhí)行全設(shè)計規(guī)則檢查(drc)運行之前檢測所述ic設(shè)計(210)中的所述系統(tǒng)設(shè)計違反的所述實例。
5.根據(jù)權(quán)利要求1所述的方法,還包括:
6.根據(jù)權(quán)利要求1所述的方法,還包括:
7.根據(jù)權(quán)利要求1所述的方法,其中,所述檢查前配置文件(230)包括特定于所述ic設(shè)計(210)被設(shè)計用于的技術(shù)節(jié)點的配置數(shù)據(jù)。
8.一種系統(tǒng),包括:
9.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述指令在被執(zhí)行時使得所述計算系統(tǒng)(100,700)通過由所述計算系統(tǒng)(100,700)實現(xiàn)的系統(tǒng)設(shè)計違反邏輯的不同實例來檢測所述ic設(shè)計(210)中的多個系統(tǒng)設(shè)計違反,其中,所述系統(tǒng)設(shè)計違反邏輯的每個實例被配置為檢測不同的系統(tǒng)設(shè)計違反。
10.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述指令在被執(zhí)行時使得所述計算系統(tǒng)(100,700):
11.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述指令在被執(zhí)行時使得所述計算系統(tǒng)(100,700)在對所述ic設(shè)計(210)執(zhí)行全設(shè)計規(guī)則檢查(drc)運行之前檢測所述ic設(shè)計(210)中的所述系統(tǒng)設(shè)計違反的所述實例。
12.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述指令在被執(zhí)行時使得所述計算系統(tǒng)(100,700):
13.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述指令在被執(zhí)行時使得所述計算系統(tǒng)(100,700):
14.根據(jù)權(quán)利要求8所述的系統(tǒng),其中,所述檢查前配置文件(230)包括特定于所述ic設(shè)計(210)被設(shè)計用于的技術(shù)節(jié)點的配置數(shù)據(jù)。
15.一種包括指令(722)的非瞬態(tài)機器可讀介質(zhì)(720),所述指令在由處理器(710)執(zhí)行時,使得計算系統(tǒng)(100,700):