Skip to content
Static Sign-Off Symposium 2023 Proceedings
Samsung, Nvidia, Groq, Esperanto, & Real Intent — videos, slides & transcripts
Symposium presentors discussed the advanced static sign methodologies they use and the results they achieved in accelerating early functional verification & sign-off of digital designs.
Speakers — with individual videos, slides & transcripts:
- Youngchan Lee – Samsung
- Louise Cardillo – Nvidia
- Igor Arsovski – Groq
- Raj Khanna – Esperanto
- Prakash Narain – Real Intent
Static sign-off domains covered: RTL linting, Clock domain crossing (CDC), Reset domain crossing (RDC), and Connectivity & glitch. Topics include: AI/ML, targeted sign-off, incremental sign-off, multimode, hierarchical, dynamic CDC, and more.
Samsung: Machine Learning-Based Clock Domain Crossing Data Clustering & Classification
Youngchan Lee of Samsung presented at Real Intent’s 2023 Static Sign-Off Symposium. He covered Samsung’s successful machine learning-based CDC classification and clustering experiment, with a goal to reduce engineering time through waiver reuse.
Samsung developed machine learning models and used them with Real Intent Meridian CDC.
NVIDIA: Asynchronous Logic Sign-Off Flows Beyond Structural CDC
Groq: Automated Static Checking forRegular-Structure Synchronous Accelerator
Igor Arsovski of Groq presented on how Groq uses automated static checking for their regular-structure synchronous accelerator.
Below are text and graphic highlights of what he presented. Real Intent Ascent Lint, Meridian CDC and Meridian RDC were deployed. Igor’s presentation covers:
- AI compute needs & Groq’s AI chip
- Groq’s Lint, CDC & RDC sign-off flow
- Results from Groq’s static sign-off flow
- Future static sign-off needs
Esperanto: Enabling Lint/CDC/RDC Sign-Off on All Check-ins for RISC-V inference chip
Raj Khanna of Esperanto presented on how Esperanto enabled linting, clock domain crossing (CDC), and reset domain crossing (RDC) sign-off on all their RISC-V inference chip check-ins.
Below are lightly edited highlights of what he presented. Real Intent Ascent Lint, Meridian CDC and Meridian RDC were deployed. Raj’s presentation covers:
- Esperanto AI chip
- Challenge: vicious static checking circle
- Esperanto’s improved RTL Linting/CDC/RDC flow
- Esperanto static sign-off methodology results