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:

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.

Samsung: Slides & Transcript

NVIDIA: Asynchronous Logic Sign-Off Flows Beyond Structural CDC

Louis Cardillo of NVIDIA presented at Real Intent’s 2023 Static Sign-Off Symposium on how Nvidia expanded its sign-off flow beyond structural clock domain crossing (CDC), to address more complex asynchronous design challenges.

Meridian CDC with Simportal and Meridian RDC were deployed.

NVIDIA: Slides & Transcript

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
Groq: Slides & Transcript

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
Esperanto: Slides & Transcript

Real Intent: Architectural Compliance Checking Shift Left Using Static Sign-Off

Prakash Narain, president & CEO of Real Intent presented at Real Intent’s 2023 Static Sign-Off Symposium.

He covered shifting left with connectivity checking for architectural compliance, along with glitch checking.

Real Intent: Slides & Transcript