- Credit Management: Are Link-layer credits correctly tracked and returned?
- Snoop Filter Accuracy: Does the Home Node (HN-F) accurately track which Request Nodes have a cache line?
- QoS (Quality of Service): Can high-priority transactions (like Real-time video) get through even when the network is busy?
- Deadlock Freedom: Proving that the 4 Virtual Networks (REQ, RSP, DAT, SNP) never form a dependency loop.
CHI Verification Strategy
Verifying a Network-on-Chip (NoC) requires a combination of protocol checking and performance analysis.
Verification Priorities
Best Practices
Use Formal Verification for credit leakage and deadlock proofs. Simulation
is great for data integrity, but Formal is king for finding corner-case deadlocks in CHI
networks.