• DocumentCode
    2408994
  • Title

    HOL Around The World

  • Author

    Kalvala, Sara

  • Author_Institution
    University of California at Davis
  • fYear
    1991
  • fDate
    28-30 Aug. 1991
  • Firstpage
    4
  • Lastpage
    12
  • Keywords
    Arithmetic; Circuits; Concurrent computing; Design methodology; Hardware design languages; Hazards; Microprocessors; Signal processing algorithms; Silicon compiler; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
  • Conference_Location
    Davis, CA, USA
  • Print_ISBN
    0-8186-2460-4
  • Type

    conf

  • DOI
    10.1109/HOL.1991.596266
  • Filename
    596266
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2408994