• DocumentCode
    900388
  • Title

    Formal chip design-a functional approach

  • Author

    Dettmer, Roger

  • Volume
    35
  • Issue
    5
  • fYear
    1989
  • fDate
    5/11/1989 12:00:00 AM
  • Firstpage
    183
  • Lastpage
    186
  • Abstract
    Designing chips by formal methods currently takes a long time and requires considerable specialist knowledge. The author looks at a method of chip design where the equivalence of the initial specification and the fine gate level design is demonstrated with all the rigour of a mathematical proof. This prevents bugs only being found when the chip is in actual use
  • Keywords
    circuit CAD; integrated circuits; CAD; chip design; fine gate level design;
  • fLanguage
    English
  • Journal_Title
    IEE Review
  • Publisher
    iet
  • ISSN
    0953-5683
  • Type

    jour

  • Filename
    215678
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=900388