Dynamic Power Optimization Based on Formal Property Checking of Operations.

Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz

Browse the full VLSID paper archive.