| A Novel Approach to Accelerate Latency of Assertion Simulation | Jack Yen, Felix Tung | | Paper | | | paper |
| Building a Virtual Driver for Emulator | Chen Chih-Chiang | | | | | |
| Debug Automation with AI | Craig Yang, Jaw Lee, Sherwin Lai | | Paper | | | paper |
| Design and Verification of the PLL using the new DCO and Its Applications to Built-In Speed Grading of Arithmetic Circuits | Yi-Sheng Wang, Hsiang-Kai Teng, Shi-Yu Huang | | Paper | | | paper |
| Formal Sign-off Methodology for IP Blocks | Anna Chang, Chia-An Hsu | | | | | |
| Improve the quality of SystemC IPs through coverage-driven random verification | Trung Pham, Huy Phan, Masayuki Masuda | | | | | |
| Reducing the simulation life cycle time using Artificial Intelligence and Machine learning techniques on Big Data dataset | Darshan Sarod, Pratham Khande, Gopi Srinivas Deepala, Priyanka Gharat, Avnita Pal | | | | | |
| SAR ADC Layout Generation Using Digital Place-and-Route Tools | Yao-Hung Tsai and Shen-Iuan Liu | | | | | |
| UVM Scoreboards and Checkers Memory, TLB and Cache | Rich Edelman, C. H. Liu | | | | | |
| UVM-based extended Low Power Library package with Low Power Multi-Core Architectures | Avnita Pal, Priyanka Gharat | | | | | |
| Verification Challenges & Solutions of 10BaseT1s Automotive Ethernet PHY | Harshdeep Verma, Vedansh Seth | | | | | |
