1. Development of an Efficient and Reliable Verification Technique for Complex SoC Package;2023 7th International Conference on Computation System and Information Technology for Sustainable Solutions (CSITSS);2023-11-02
2. Application Research of Formal Verification in Aerospace FPGA;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12
3. An Efficient Formal Verification Method in I/O Multiplexing Module Based on VC Formal CC;2020 IEEE 3rd International Conference on Electronics and Communication Engineering (ICECE);2020-12-14