Verifying Networks On Chip

Verifying Networks On Chip

by Semiconductor Engineering

Applied Sciences & Engineering Computing & Cybersecurity UYComputer scienceUYFComputer architecture and logic design
🎙 Semiconductor Engineering 👥 30K 📅 July 20, 2026 ⏱ 30 min 👁 326 📄 expert opinion 🧭 2026-08-16
Available in: English (current) Français

Keywords

formal verificationNoCsilent data corruptioncoherencyproof engineering

Summary

In this interview, Ashish Darbari, CEO of Axiomise, discusses the increasing complexity of verifying Networks-on-Chip (NoCs) due to the integration of chiplets, multiple power domains, and the AMBA CHI protocol for coherency. He categorizes common bug families that escape to silicon, including flow control errors, ordering and serialization violations, state machine bugs, deadlocks, livelocks, security issues, and clock domain crossing problems. A specific example of silent data corruption in a reorder buffer is presented, highlighting the difficulty of catching such bugs with simulation alone. Darbari emphasizes the importance of formal verification and proof engineering to achieve exhaustive proofs, contrasting a 22-hour non-converging proof with a 1-minute 19-second proof using their abstraction technology. He demonstrates scalability by verifying a 128-router NoC grid and discusses the open-source Flute NoC. The conversation underscores that NoC bugs can bring down an entire SoC, making robust verification critical.

143 words

Critical Evaluation

Value of the Information & Strength of the Argument

The video provides valuable insights into the specific challenges of NoC verification, particularly the impact of coherency and the difficulty of catching subtle bugs like silent data corruption. The argumentation is solid, supported by concrete examples and a real-world case study. The demonstration of the proof time reduction from 22 hours to 1 minute 19 seconds is compelling evidence for the effectiveness of their approach. However, the content is inherently promotional for Axiomise’s tools, which may introduce bias. The discussion is technical and assumes familiarity with formal verification concepts.

Scientific Rigor, Source Quality, Title Accuracy

The video references the Wilson Research 2024 report on the primary causes of respins, which is a credible industry source. The title accurately reflects the content. The presentation is rigorous, with clear explanations of the bug categories and the formal verification methodology. The speaker demonstrates a deep understanding of the subject matter. The video does not include a public advertising segment, but the promotional nature of the discussion is evident.

174 words

Title / Content Match

The title accurately reflects the content, which focuses on the challenges and methods for verifying networks-on-chip.

Quality & Reliability

8/10

The video features an expert (Ashish Darbari, CEO of Axiomise) discussing formal verification of NoCs, with concrete examples and references to industry reports (Wilson Research 2024). The content is technical and specific, but it is primarily an expert opinion with promotional elements for their tool.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Concurring Sources

Contribution & Novelties

The video provides a detailed overview of the challenges in NoC verification, particularly highlighting the role of coherency and the difficulty of catching silent data corruption. It presents a concrete example of how formal verification with proper abstraction can dramatically reduce proof times, and demonstrates scalability to large NoC configurations. The discussion of the open-source Flute NoC adds practical relevance.

Pour aller plus loin :

  • Formal verification — Overview of formal methods in hardware verification.
  • Network on a chip — Background on NoC architectures.
  • AMBA CHI — ARM’s Coherent Hub Interface protocol, relevant to coherency discussions.
  • JasperGold — The formal verification tool mentioned in the video.

106 words

Radar Profile

The radar profile shows high scores in technical level and information quality, indicating a deep and reliable content. The lower score in information quantity suggests the video is focused and not overly broad. Overall, it is a technically strong resource for professionals in the field.

Reliability 8/10

💬 No comments were provided for analysis.