Clock Domain Crossing Verification in Transistor-level Design

Author(s):
Hyungjung Seo, KwangSun Kim, YoungRok Choi, Jihwan Kim, and Jong-Bae Lee