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
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;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2014.2354297
