• DocumentCode
    3144511
  • Title

    Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork

  • Author

    Takashima, Makoto ; Mitsuhashi, Takashi ; Chiba, Toshiaki ; Yoshida, Kenji

  • Author_Institution
    Toshiba Corporation, Kawasaki, Japan
  • fYear
    1982
  • fDate
    14-16 June 1982
  • Firstpage
    544
  • Lastpage
    550
  • Abstract
    This paper describes three programs which perform connectivity rule check, logic gate recognition for logic simulation and circuit connectivity comparison. These programs have been developed for verifying circuit connectivity extracted from mask artwork. Powerful algorithms are used in these programs, including a heuristic graph comparison algorithm, to realize highly practical verification aids. Through the combined use of these programs, more cost-effective verification is possible.
  • Keywords
    Circuit analysis; Circuit simulation; Data mining; Design methodology; Heuristic algorithms; Large scale integration; Logic circuits; Logic gates; Switches; Switching circuits;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1982. 19th Conference on
  • Conference_Location
    Las Vegas, NV, USA
  • ISSN
    0146-7123
  • Print_ISBN
    0-89791-020-6
  • Type

    conf

  • DOI
    10.1109/DAC.1982.1585551
  • Filename
    1585551
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3144511