Fully-automated synthesis of power management controllers from UPF.

Dustin Peterson, Oliver Bringmann

Browse the full ASPDAC paper archive.