Formal verification of hardware/software power management strategies

Mukherjee, Rajdeep ; Dasgupta, Pallab ; Pal, Ajit ; Mukherjee, Subhankar (2013) Formal verification of hardware/software power management strategies In: 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 5-10 January 2013, Pune, India.

Full text not available from this repository.

Official URL:

Related URL:


Complex low power integrated circuits use global power management strategies to orchestrate the switching between power states of multiple power domains. One of the primary challenges in verifying such power management architectures stems from the mixed implementation of such strategies, where the local power controllers are in hardware and the global power management is implemented in software/firmware. In this paper we present an approach for using formal methods for verifying such hardware/software power management implementations. To the best of our knowledge, this is the first approach for formal verification of such implementations.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
Keywords:Software; Hardware; Hardware Design Languages; Switches; Power Control; Transmitters; Synchronization
ID Code:101590
Deposited On:12 Dec 2016 11:14
Last Modified:12 Dec 2016 11:14

Repository Staff Only: item control page