Verification and reliability analysis of synchronizers in clock domain crossingYuyang FAN, Zhi DENG and Zihang LIJNWPU, 40 2 (2022) 369-376DOI: https://doi.org/10.1051/jnwpu/20224020369