Dasgupta, Pallab ; Srivas, Mandayam K. ; Mukherjee, Rajdeep (2014) Formal hardware/software co-verification of embedded power controllers IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33 (12). pp. 2025-2029. ISSN 0278-0070
Full text not available from this repository.
Official URL: http://ieeexplore.ieee.org/document/6951883/
Related URL: http://dx.doi.org/10.1109/TCAD.2014.2354297
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.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Institute of Electrical and Electronics Engineers. |
| Keywords: | Model Checking; Performance Gain; Control Systems; Power Control; Formal Verification |
| ID Code: | 100842 |
| Deposited On: | 12 Dec 2016 11:59 |
| Last Modified: | 12 Dec 2016 11:59 |
Repository Staff Only: item control page
