Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains.
Mingming ZhangShuqin GengWensi WangXiaohong PengMenghao ChuShengyuan ZhouZhonghou ZhangHang LuPengkun LiRonghao ZhuPublished in: IEEE Trans. Circuits Syst. II Express Briefs (2021)