Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sumit Ahuja; Sandeep K. Shukla (J. Low Power Electron., 2007)

A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. - Gaurav Singh 006; Jacob B. Schwartz; Sandeep K. Shukla (J. Low Power Electron., 2009)