Formal Hardware/Software Co-Verification of Embedded Power Controllers
Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2014
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.