5.1 Smart Verification leveraging PSS; 5.2 When Automotive FuSa Met IC | David Hwang and Sera Gao | 2021 | Presentation | | y2021 | presentation |
Acceleration Startup Design & Verification | Tim Sun, Barry Yin, and Haifeng Jiang | 2021 | Presentation | | y2021 | presentation |
Applying Big Data to Next-Generation Coverage Analysis and Closure | Tom Fitzpatrick, Darron May, Thom Ellis, Athira Panicker and Francisco Chen | 2021 | Presentation | | y2021 | presentation |
Computational Logistics for Intelligent System Design | Simon Chang | 2021 | Presentation | | y2021 | presentation |
Early Design and Validation of an AI Accelerator’s System Level Performance Using an HLS Design Methodology | Wenbo Zheng | 2021 | Presentation | | y2021 | presentation |
Fast forward Software Development using Advanced Hybrid Technologies | Xiaowei Pan | 2021 | Presentation | | y2021 | presentation |
NO.001: Applicable to eSim Development for Automatic Construction of UVM Verification Platform For Large-Scale Data Communication Chips | Ankui Ge, Lei Wang, and Feng Wang | 2021 | Poster | | y2021 | poster |
NO.002: Accurate Charge-pump Regulator Modeling using SV EEnet | Sherry Li, Tulong Yang, and Ayesha Huq | 2021 | Poster | | y2021 | poster |
NO.003: RISC-V Processor Core Verification Based on Open Source Tools | Yanbing Xu | 2021 | Poster | | y2021 | poster |
NO.005: Improvement of chip verification automation technology | Ma Yao, Shao Haibo, Yue Yaping, and Cao Zhu | 2021 | Poster | | y2021 | poster |
NO.006: A Systematic IP Verification Solution of Complex Memory Management for Storage SOC | Jinsong Liu and Shuhui Wang | 2021 | Poster | | y2021 | poster |
NO.008: LiteX: a novel open source framework for SoC | Feng Li | 2021 | Poster | | y2021 | poster |
NO.009: Transaction Equivalence Formal Check (DPV) in Video Algorithm/FPU/AI Area | Minqi Bao | 2021 | Poster | | y2021 | poster |
NO.010: Silicon Bug Hunt with“Deep Sea Fishing”Formal Verification | Ping Yeung and Jin Hou | 2021 | Poster | | y2021 | poster |
NO.011: Completely Release the Power of VerificationIP–A Step-by-Step Guidance for In-HouseIPDevelopment | Bin Liu, Xiaoming Ma, Kailong Wang, and Qiaochu Zhu | 2021 | Poster | | y2021 | poster |
NO.012: How Fast Can You Run SLEC For Verifying Design Optimizations and Bug Fixes | Jin Hou Wenli Liang, and Lina Guo | 2021 | Poster | | y2021 | poster |
NO.013: Sequential Equivalence Checking Beyond Clock Gating Verification | Xiushan Feng, Xiaolin Chen, and Sarah Li | 2021 | Poster | | y2021 | poster |
NO.014: An Intelligent SOC Verification Platform | Deyong Yang and Fabo Deng | 2021 | Poster | | y2021 | poster |
NO.015: A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores | Nicolae Tusinschi, Wei Wei Chen, and Tom Anderson | 2021 | Poster | | y2021 | poster |
NO.015: A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores | Nicolae Tusinschi, Wei Wei Chen, and Tom Anderson | 2021 | Poster | | y2021 | poster |
Paper Session 1: Applicable to the Development Of Large-Scale Data Communication Chip Performance Analysis Tools | Dinglai He, Guanfeng Wang, Feng Wang, and Lirong Zhang | 2021 | Paper | | y2021 | paper |
Paper Session 2: UVM is Now IEEE1800.2-2020 Standard: A 2020 Adoption Primer | Roman Wang | 2021 | Paper | | y2021 | paper |
Paper Session 3: Co-simulation platform of SystemC and System-Verilog for algorithm verification | Li Jinghui, Shao Haibo and Gou Jiazhen | 2021 | Paper | | y2021 | paper |
Paper Session 4: Unified Automation Verification Management Approach | Liu Wenbo, Tian Libo, and Shao Haibo | 2021 | Paper | | y2021 | paper |
Paper Session 5: Cache Coherency Verification for Multi-Core Processors Based on the PSS | Yang Yang | 2021 | Paper | | y2021 | paper |
Paper Session 6: High Reliability Reset Domain Checking Solution for the Modern Soc Design | Wanggen Shi, Yuxin You and Kurt Takara | 2021 | Paper | | y2021 | paper |
Paper Session 7: Best Practice Coding Assertion IP (AIP) to Get More Predictable Results | SJ Wu and Leon Yin | 2021 | Paper | | y2021 | paper |
Paper Session 8: Advanced Techniques for Enabling Gate-level CDC Verification Closure | Gunjan Jain, Kurt Takara, and Yuxin You | 2021 | Paper | | y2021 | paper |
PCIe Gen5 Validation – The Real World | Yuan Chen | 2021 | Presentation | | y2021 | presentation |
Smarter Verification Management | David Zhang | 2021 | Presentation | | y2021 | presentation |
The New Power Perspective – Realistic Workloads – Real Results | Xiaoming Li | 2021 | Presentation | | y2021 | presentation |
The Next Generation Of EDA | Luke Yang | 2021 | Presentation | | y2021 | presentation |
Veloce HYCON: Software-enabled SoC verification and validation on day 1 | Jeffrey Chen | 2021 | Presentation | | y2021 | presentation |