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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.