All times are listed in PST. Please note that the program is tentative and subject to change.
- Monday, February 28
- Tuesday, March 1
- Wednesday, March 2
- Thursday, March 3
9:00 - 11:00 | Introduction to the 5 levels of RISC-V Processor Verification | ||
11:00 - 11:30 | Break | ||
11:30 - 12:30 | UVM-AMS: An Update on the Accellera UVM | IP/SoC Design, Co-Verify, Co-Validate, Co-Everything in 90 Minutes! | In-emulator UVM++ Randomized Testbenches for High-Performance Functional Verification |
12:30 - 13:00 | Break | ||
13:00 - 14:00 | An Overview of Security Annotation for Electronic Design Integration (SA-EDI) Standard | Estimating Power Dissipation of End-User Application on RTL | |
14:00 - 14:30 | Break | ||
14:30 - 15:30 | FuSa: An Update on the Accellera Functional Safety Standard |
| |
15:30 - 17:00 | Networking |
8:30 - 8:45 | Opening Session | ||
8:45 - 9:00 | Break | ||
9:00 - 10:30 | Portable Stimulus Standard (PSS) | Mixed Signal Verification | Memory and Cache Verification |
10:30 - 12:00 | Posters | ||
12:00 - 12:30 | Break | ||
12:30 - 13:30 | Sponsor Sessions (Cadence & Imperas) / Networking | ||
13:30 - 14:00 | Break | ||
14:00 - 15:00 | KEYNOTE: Manish Pandey | ||
15:00 - 17:00 | Automating Stimulus Generation | Formal Verification 1 | Potpourri |
8:30 - 9:30 | Panel: The Meeting of the SoC Verification Hidden Dragons | ||
9:30 - 10:00 | Break | ||
10:00 - 12:00 | Regression Runtime and Debug Optimization | Formal Verification 2 | Automation and Other Languages |
12:00 - 13:00 | Panel: Going Faster - How to Cope with Shrinking Schedules and Increasing Complexity | ||
13:00 - 14:00 | UVM Birds of a Feather | ||
14:00 - 15:00 | Sponsor Sessions (AMIQ & Synopsys) / Networking | ||
15:00 - 16:30 | UVM: Knobs & Sequences | Low Power and UPF | Prototyping |
16:30 - 17:00 | Break | ||
17:00 - 17:30 | Best Paper Presentation |