Mingming Zhang, Shuqin Geng, Wensi Wang, Xiaohong Peng, Menghao Chu, Shengyuan Zhou, Zhonghou Zhang, Hang Lu, PengKun Li, Ronghao Zhu. Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains. IEEE Trans. Circuits Syst. II Express Briefs, 68-II(1):481-485, 2021. [doi]
Abstract is missing.