Bao Le, Dipanjan Sengupta, Andreas G. Veneris. Reviving erroneous stability-based clock-gating using partial Max-SAT. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 717-722, IEEE, 2013. [doi]
Abstract is missing.