Kazuhiro Nakamura, Shinji Maruoka, Shinji Kimura, Katsumasa Watanabe. Multi-clock path analysis using propositional satisfiability. In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 81-86, ACM, 2000. [doi]
Abstract is missing.