Wei Hu 0008, Jing Tan, Lingjuan Wu, Yu Tai, Liang Hong. Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools. In IEEE International Test Conference in Asia, ITC-Asia 2021, Shanghai, China, August 18-20, 2021. pages 1-6, IEEE, 2021. [doi]