Abstract
Chapter 8 presents an algorithm for peak power reduction of designs generated using CAOS. The proposed algorithm exploits the fact that for a CAOS-based design, disabling appropriate actions in a clock cycle for reducing its peak power should not alter the functional behavior of the design. This is because for well-written CAOS designs, re-scheduling of the actions of a design for reducing its peak power will enable appropriate set of actions for execution (in future clock cycles) based on various fairness constraints, thus maintaining the overall behavior of the design. However, re-scheduling of the actions can result in changing the behavior of those CAOS designs which do not model the fairness constraints (related to the execution of the actions of a design) appropriately. Such designs may fail to produce a correct output when re-scheduling of their actions occurs. This stresses the need for verification of a CAOS-based design in order to ensure that its behavior is maintained after re-scheduling of its actions as done by the peak power reduction algorithm described in Chapter 8. Note that such re-scheduling of the actions of a design can also be done for other reasons such as constraints on the number of resources available.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
G. J. Holzmann. The Model Checker SPIN. Software Engineering, 23(5):279–295, 1997.
G. J. Holzmann. The SPIN Model Checker. Addison Wesley, Boston, MA, 2004.
L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Singh, G., Shukla, S.K. (2010). Verifying Peak Power Optimizations Using SPIN Model Checker. In: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-6481-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4419-6481-6_9
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-6480-9
Online ISBN: 978-1-4419-6481-6
eBook Packages: EngineeringEngineering (R0)