2-SAT based linear time optimum two-domain clock skew scheduling

Yukihide Kohira, Atsushi Takahashi. 2-SAT based linear time optimum two-domain clock skew scheduling. In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014. pages 173-178, IEEE, 2014. [doi]

Abstract

Abstract is missing.