• DocumentCode
    1280556
  • Title

    The Viper microprocessor

  • Author

    Dettmer, Roger

  • Volume
    32
  • Issue
    10
  • fYear
    1986
  • fDate
    10/1/1986 12:00:00 AM
  • Firstpage
    723
  • Lastpage
    727
  • Abstract
    The design of the Viper microprocessor represents a major advance in the use of mathematics to formally verify the correctness of a logic design. Viper is likely to become an important element in many safety-critical computer systems, and will have an extensive influence on hardware technology
  • fLanguage
    English
  • Journal_Title
    Electronics and Power
  • Publisher
    iet
  • ISSN
    0013-5127
  • Type

    jour

  • DOI
    10.1049/ep.1986.0426
  • Filename
    5187551
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1280556