Ronghao Zhu

Probabilistic Analysis for Sequential Circuits Verification Using Markov Chains

Shengyuan Zhou, Shuqin Geng, Hang Lu, 2021, IEEE Transactions on Circuits and Systems II: Express Briefs.