Beyond rule-based physical verification

被引:7
|
作者
Hoppe, Wolfgang [1 ]
Roessler, Thomas [1 ]
Torres, J. Andres [2 ]
机构
[1] Qimonda AG, Campeon 1-12, D-85579 Neubiberg, Germany
[2] Mentor Graph Corp, Wilsonville, OR 97070 USA
来源
关键词
DRC; lithography simulation; optical rule check; litho friendly design;
D O I
10.1117/12.686604
中图分类号
O43 [光学];
学科分类号
070207 ; 0803 ;
摘要
For advanced technology nodes, a large amount of effort must be spent to optimize area critical full-custom layouts with respect to their manufacturability. Due to the strong irregularity and two-dimensionality of these layouts, it appears impossible to fully capture the corresponding complex requirements with design rules in order to be able to perform a rule-based physical verification in form of a "design rule check" (DRC). Alternative approaches have to be found and one of them is presented in this paper. The complexity of the DRC can be significantly reduced for rules focused on process aspects. Those rules can be replaced by a "simulation rule check" (SRC), where at first process simulations (like e.g. lithography) are done and then a set of straightforward rules is applied to geometrical entities representing the simulation output instead of the layout geometry. Thus, this new set of rules works more directly on the core of the matter. The "litho-friendly design environment" (LFD) provided by Mentor Graphics offers the tools for this approach. The SRC includes intra-layer checks like area, width, and space checks as well as interlayer checks, such as overlap. To the physical designer, SRC violations are presented in a DRC like fashion, including error scoring and classification. This paper will demonstrate the application of LFD and highlight the usability of this infrastructure for layout optimization using an SRC for physical verification.
引用
收藏
页数:9
相关论文
共 50 条
  • [1] Rule-based runtime verification
    Barringer, H
    Goldberg, A
    Havelund, K
    Sen, K
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
  • [2] Rule-based verification of Web sites
    M. Alpuente
    D. Ballis
    M. Falaschi
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 565 - 585
  • [3] Rule-based runtime verification revisited
    Klaus Havelund
    [J]. International Journal on Software Tools for Technology Transfer, 2015, 17 : 143 - 170
  • [4] Rule-based runtime verification revisited
    Havelund, Klaus
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (02) : 143 - 170
  • [5] A Rule-based System for Web site Verification
    Ballis, D.
    Garcia-Vivo, J.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (02) : 11 - 17
  • [6] A synthesis of fuzzy rule-based system verification
    Viaene, S
    Wets, G
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AT THE IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE - PROCEEDINGS, VOL 1-2, 1998, : 985 - 990
  • [7] RULE-BASED SYSTEM PROVIDES DESIGN VERIFICATION
    GOERING, R
    [J]. COMPUTER DESIGN, 1988, 27 (12): : 32 - 32
  • [8] Knowledge verification of active rule-based systems
    Chavarria-Baez, Lorena
    Li, Xiaoou
    [J]. INTELLIGENT CONTROL AND AUTOMATION, 2006, 344 : 676 - 687
  • [9] KNOWLEDGE VERIFICATION IN RULE-BASED INTELLIGENT SYSTEMS
    ZYKOVA, SA
    KOLCHIN, AF
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1994, 32 (06) : 87 - 105
  • [10] Rule-Based Verification Method of Requirements Ontology
    Dang Viet Dzung
    Bui Quang Huy
    Ohnishi, Atsushi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05): : 1017 - 1027