Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL.

Vinod Viswanath, Shobha Vasudevan, Jacob A. Abraham

Browse the full VLSID paper archive.