Program Grid

All times are in CEST.

Time (CEST) Stream 1 Stream 2 Stream 3 Stream 4 Other Events
8:30 - 9:00

Opening & Welcome

Virtual Experience Room & Networking

9:00 - 10:00

Keynote: Rashid Attar

5G, AI and Compute Platform Innovations for What’s Next

10:00 - 10:30

Virtual Coffee Break

10:30 - 11:30 T1.1 Prototyping Accelerators using Intel® Integrated Simulation Infrastructure with Modeling (Intel® SIM)

Sponsored by:

T2.1 Accelerating Analog/Mixed-Signal Design and Verification through Integrated Rapid Analysis

Sponsored by:

T3.1 Accelerate Signoff with JasperGold RTL Designer Apps

Sponsored by:

11:30 - 12:30 T1.2 Artificial Intelligence in ASIC/SOC Verification T2.2 Python and SystemC: A Dream Team for Building and Analyzing Virtual Platformss T3.2 Hardware-Aware, Model-Based Software Development to Speed Up Embedded Designs T4.1 Test Driven Hardware Design and Verification
12:30 - 13:30

Virtual Lunch Break

13:30 - 14:30


Anatomy of a Verification Flow

14:30 - 15:30

Keynote: Dr. Petra Färm

Speed Layers: Managing the Exponential Change of Technology

15:30 - 16:00

Virtual Coffee Break

16:00 - 17:00 T1.3 Deep Cycle HW/SW Verification using High-Performance Prototyping Systems

Sponsored by:

T2.3 AI/ML Accelerator Verification Tutorial: High-Level Verification of C-level design <

Sponsored by:

T3.3 Automated Code Checks to Accelerate Top-Level Design Verification

Sponsored by:

OneSpin Logo
17:00 - 18:00 T1.4 An Update on the UVM-AMS Standard in Accellera

Sponsored by:

OneSpin Logo
T2.4 Boost your Productivity in FPGA & ASIC Design and Verification

Sponsored by:

T3.4 Collaborative, Advanced Fault Analysis: Addressing the Functional Safety Verification Challenges from the Accellera Functional Safety

Sponsored by:

18:00 - 18:30

Closure Day 1 & Outlook Day 2

Time (CEST) Stream 1 Stream 2 Stream 3 Stream 4 Other Events
8:00 - 8:15

Opening & Welcome

Virtual Experience Room & Networking
8:15 - 9:15

Keynote: Satish Sundaresan

Take a Leap: Virtualization in Future Development

9:15 - 9:30

Virtual Coffee Break

9:30 - 10:00 P1.1 Machine Learning for Coverage Analysis in Design Verification P2.1 Achieving Faster Code Coverage Closure using High-Level Synthesis P3.1 Bringing Reset Domains and Power Domains together – Set/Reset Flops Augmenting Complexities in Power-Aware RDC Verification P4.1 Method for Early Performance Verification of Hardware-accelerated Embedded Processor Systems in RTL Simulation
10:00 - 10:30 P1.2 SimPy and Chips: A Discrete Event Simulation Framework in Python for Large Scale Architectural Modelling of Machine Intelligence Accelerators P2.2 Detection of Glitch-Prone Clock and Reset Propagation with Automated Formal Analysis P3.2 A Methodology for Evaluating SI Artefacts in DDR4-3DS PHY using Channel Modelling P4.2 System-Level Register Verification and Debug
10:30 - 11:00 P1.3 Optimizing Design Verification using Machine Learning: Doing Better Than Random P2.3 Using HLS to improve Design-for-Verification of Multi-pipeline Designs with Resource Sharing P3.3 Using Dependency Injection Design Pattern in Power Aware Tests P3.4 No Country for Old Men – A Modern Take on Metrics Driven Verification
11:00 - 12:00


Can ML be the Driver of Next-Generation Verification?

12:00 - 13:00 Virtual Lunch Break Sponsor Sessions
veriest jade design automation lubis eda agnisys agnisys
13:00 - 14:00

Poster Session

14:00 – 15:00 Virtual Coffee Break Sponsor Sessions
corigine cadence fraunhofer amiq eda
15:00 - 15:30 P1.4 A Novel Approach to Reuse Firmware for Verification of Controller based Sub-Systems using PSS P2.4 Testbench Flexibility as a Foundation for Success P3.4 A Comparison of Methodologies to Simulate Mixed-signal IC P4.4 Machine Learning Based Structure Recognition in Analog Schematics for Constraints Generation
15:30 - 16:00 P1.5 Reuse of System-Level Verification Components within Chip-Level UVM Environments P2.5 Handling Asynchronous Reset(s) Testing by Building Reset-Awareness into UVM Testbench Components P3.5 Unified Model/Hardware-in-the-Loop Methodology for Mixed-Signal System Design and Hardware Prototyping P4.5 Democratizing Formal Verification
16:00 - 16:30 P1.6 A Novel Approach to Functional Test Development and Execution using High-Speed IO P2.6 One Testbench to Rule Them All! P3.6 Accelerated Coverage Closure by Utilizing Local Structure in the RTL Code P4.6 Netlist Paths: A Tool for Front-end Netlist Analysis
16:30 - 17:30

Keynote: Andreas Riexinger

The Mobility of the Future is Software defined – Can Open Technologies help?

17:30 - 18:30

Closing Session & Best Paper/Poster Award Ceremony

Time (CEST)


Author(s) Affiliation(s)
8:00 - 9:00

Welcome & Introduction

Ola Dahl Ericsson
9:00 - 10:00

How to Fork Threads in SystemC Just Like in SystemVerilog and Specman-e

Stefan Tiberiu Petre Independent Verification Consultant
10:00 - 11:00

Multi-cire Debugger Integration and Suspend/Resume

Peter de Jager Intel Corporation, Eindhoven, The Netherlands
11:00 - 12:00

SystemC Community - GitHub, Forums, Websites

Martin Barnasconi 1

Mark Burton 2

1 Accellera

2 GreenSocs

12:00 - 12:30

Update from Accellera SystemC Working Groups

Martin Barnasconi Accellera
12:30 - 13:00


13:00 - 16:00

Virtual Networking

16:00 - 17:00

SystemC in Hybrid Simulations

Mark Burton 1

Martin Barnasconi 2

1 GreenSocs


17:00 - 18:00

Achieving IC Integrity for SystemC Designs

Rob van Blommestein OneSpin
18:00 - 18:30

Summary and Concluding Discussion

Ola Dahl Ericsson

Conference Sponsors

Global Sponsors

Media Sponsors

Contact Us