Clock Domain Crossing Verification in Transistor-level Design Author(s): Hyungjung Seo, KwangSun Kim, YoungRok Choi, Jihwan Kim, and Jong-Bae Lee Download