TY - 电子学报 A1 - 冯 毅;许经纬;易江芳;佟 冬;程 旭 T1 - 面向模型检验的跨时钟域设计电路 特性生成方法 Y1 - 2009-02-25 00:00:00.0 JF - 电子学报 JO - 电子学报 SP - 258 EP - 265 VL - 37 IS - 2 UR - {https://www.ejournal.org.cn/CN/Y2009/V37/I2/258} N1 - ER -