POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent.
Aritra HazraRajdeep MukherjeePallab DasguptaAjit PalKevin HarerAnsuman BanerjeeSubhankar MukherjeePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)