Abstract:Network-on-Chip (NoC) has surfaced as a crucial interconnection strategy in modern digital systems, thereby demanding meticulous verification. Due to its multiple nodes and high concurrency, verifying a NoC is labor-intensive, making it complex to generate a multitude of test cases. Recently, hardware fuzzing has been identified as a promising automated approach for hardware verification. However, when we tried to apply these fuzzing techniques to our internally developed NoC design, we discovered that they were incompatible with the specificities of NoC. Additionally, they are also incompatible with the standard IC verification workflow and Universal Verification Methodology (UVM) environment. In this work, we aim to automate our verification process of NoC with fuzzing. We propose a fuzzing strategy specifically tailored for industrial NoC UVM verification. We employ fuzzing in NoC verification at multiple levels, including router verification, network verification and stress testing. As a case study we apply our approach to an open-source NoC component in OpenPiton. Remarkably, our fuzzing methods automatically achieved complete code and functional coverage in the router and mesh network. We also effectively detect injected starvation bugs with fuzzing. The evaluation results clearly demonstrate the practicability of our fuzzing approach to considerably reduce the manpower required for test case generation compared with traditional NoC verification.

A Research of Network-on-Chip Routers Test

A Cost-Effective Scheme for Network-on-Chip Router and Interconnect Testing

A Network Coding Based Functional Test Method for the Routers in 3D Mesh NoCs

Test Methodology of NoC with Irregular Topology

A New Unicast-Based Multicast Scheme for Network-on-Chip Router and Interconnect Testing

A Unified Test and Fault-Tolerant Multicast Solution for Network-on-chip Designs

Critical-Path Driven Routers for On-Chip Networks

Fault-Tolerant Unicast-Based Multicast for Reliable Network-on-Chip Testing

Accelerating Strategy for Functional Test of NoC Communication Fabric

A New Fault Detection Method for Computer Networks

A Fault Tolerant NoC Architecture Using Quad-Spare Mesh Topology and Dynamic Reconfiguration

Model of Network-On-Chip Routers and Performance Analysis

NoCFuzzer: Automating NoC Verification in UVM

A Fault-Tolerant Routing Algorithm Design for On-Chip Optical Networks

A novel micro-ring-based 4 × 4 non-blocking silicon optical router

Test Methods for High Performance Network Chips

A Tightly Coupled Network-on-Chip Router Architecture

Two-topology Based High-Level Simulation Platform for NoC Performance Evaluation

An improved method for test chip design

A Performance Analytical Approach Based on Queuing Model for Network-on-Chip

Concurrent Testing for Heterogeneous-Cores in Network-on-Chips