Dustin Peterson, Oliver Bringmann. Fully-automated synthesis of power management controllers from UPF. In Toshiyuki Shibuya, editor, Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019. pages 76-81, ACM, 2019. [doi]
Abstract is missing.