Concepedia

Geometric Rule Checking

Geometric Rule Checking is a formal verification method in integrated circuit design that systematically enforces manufacturing constraints by evaluating layout geometries against a set of minimum spacing, width, and overlap rules to ensure fabricability and reliability.

22

Publications

555

Citations

48

Authors

22

Institutions

Publications per year

2017–2026

0

Parents

Publications

22

A correct rule-based geometric constraint solver

Robert Joan‐Arinyo, A. Soto · Computers & Graphics · 1997 · 69 citations

, , +11

Geometric constraints and reasoning for geometrical CAD systems

Hiromasa Suzuki, Hidetoshi Ando, Fumihiko Kimura · Computers & Graphics · 1990 · 56 citations

, , +13

Standard cell routing via boolean satisfiability

Nikolai Ryzhenko, Steven M. Burns · 2012 · 55 citations

, , +16

SURF: rubber-band routing system for multichip modules

David Staepelaere, Jason P. Jue, Tal Dayan et al. · IEEE Design & Test of Computers · 1993 · 48 citations

, , +16

Use of a geometric rule or absolute vectors: Landmark use by Clark's nutcrackers (Nucifraga columbiana)

Debbie M. Kelly, S. Kippenbrock, Justin D. Templeton et al. · Brain Research Bulletin · 2008 · 30 citations

, , +7

1–5 of 22

Authors

48

  1. LS
    Larry Seiler

    Intel (United States), United States

    2 publications · 42 citations

    2

    h-index

  2. MH
    Michael H. Arnold

    University of California, Berkeley, United States

    2 publications · 45 citations

    2

    h-index

  3. RK
    Rajiv Kane

    University of Minnesota, United States

    2 publications · 24 citations

    2

    h-index

  4. SS
    Sartaj Sahni

    University of Florida, United States

    2 publications · 24 citations

    2

    h-index

  5. JK
    John K. Ousterhout

    University of California, Berkeley, United States

    2 publications · 45 citations

    2

    h-index

1–5 of 48

Institutions

22

  1. University of California, Berkeley

    Berkeley, United States

    3 h-index

    4 publications

    73 citations

  2. Bell (Canada)

    Montreal, Canada

    2 h-index

    4 publications

    49 citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    2 publications

    41 citations

  4. University of Minnesota

    Minneapolis, United States

    2 h-index

    4 publications

    48 citations

  5. The University of Tokyo

    Tokyo, Japan

    1 h-index

    3 publications

    168 citations

  6. City University of Hong Kong

    Hong Kong, Hong Kong

    1 h-index

    1 publications

    22 citations

  7. Shanghai Jiao Tong University

    Shanghai, China

    1 h-index

    1 publications

    22 citations

  8. Tokyo University of the Arts

    Tokyo, Japan

    1 h-index

    3 publications

    168 citations

1–8 of 22

Venues

  1. Design Automation Conference

    Conference · 5 publications · 107 citations

    5

    h-index

  2. 3

    h-index

  3. Computers & Graphics

    2 publications · 125 citations

    2

    h-index

  4. 19th Design Automation Conference

    Conference · 2 publications · 27 citations

    2

    h-index

  5. 21st Design Automation Conference Proceedings

    Conference · 1 publications · 12 citations

    1

    h-index

1–5