Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. - Aritra Hazra; Srobona Mitra; Pallab Dasgupta; Ajit Pal; Debabrata Bagchi; Kaustav Guha (DAC, 2010)

Exploring Scope of Power Reduction with Constrained Physical Synthesis. - Kaustav Guha; Sourav Saha; Ricardo Nigaglioni (VLSID, 2015)