• DocumentCode
    35720
  • Title

    Formal Hardware/Software Co-Verification of Embedded Power Controllers

  • Author

    Dasgupta, Parthasarathi ; Srivas, Mandayam K. ; Mukherjee, Rohan

  • Author_Institution
    Dept. of Comput. Sci. & Eng., IIT Kharagpur, Kharagpur, India
  • Volume
    33
  • Issue
    12
  • fYear
    2014
  • fDate
    Dec. 2014
  • Firstpage
    2025
  • Lastpage
    2029
  • Abstract
    This paper reports for the first time, the use of a hardware-software combined bounded model checking approach for hardware-software mixed implementations of power management logic. We report significant performance gains as compared to our earlier attempt of extracting a finite quotient transition system from the control software.
  • Keywords
    embedded systems; power aware computing; program verification; embedded power controllers; formal hardware/software coverification; hardware-software combined bounded model checking approach; power management logic; Control systems; Formal verification; Model checking; Performance gain; Power control; Formal verification; low power techniques; model checking;
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/TCAD.2014.2354297
  • Filename
    6951883
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=35720