Multi-clock path analysis using propositional satisfiability.

Kazuhiro Nakamura, Shinji Maruoka, Shinji Kimura, Katsumasa Watanabe

Browse the full ASPDAC paper archive.