Fast, Thorough Verification of Multiprocessor SoC Cache Coherency
Adnan Hamid (Breker Verification Systems), Bill Neifert (Carbon Design Systems)
EETimes) 12/3/2014 06:30 PM EST
The evolution from chip to system-on-chip (SoC) has brought value to both the engineering community and end users. With the move to greater complexity, problems that were once isolated to individual design blocks are now system-level concerns. Cache coherency is just the latest of these concerns. Every SoC team is facing or will face this challenge. Cache coherency interacts with many aspects of SoC functionality. Proper verification requires fast cycle-accurate models and coherency-aware randomized stress test cases.
The reason for this major change is the rapid evolution of chip design and verification. Most large, complex chips now contain at least one embedded processor and qualify as SoC designs. Most SoCs contain multiple processors (possibly heterogeneous), and most multiprocessor designs now include caches to reduce memory latency and maximize system bandwidth. Further, in the latest generation of SoCs, designers are adding cache-coherent agents beyond the multiprocessor clusters.
Cache coherency, long regarded as one of the most complex verification challenges, is no longer an issue for CPU developers only. This article presents a highly automated approach to cache coherency verification at the SoC level: generation of test cases to stress every aspect of a multiprocessor, multi-memory, multi-level cache design. This solution requires no specialized knowledge of cache algorithms or of the underlying generation technology.
![]() |
E-mail This Article | ![]() |
![]() |
Printer-Friendly Page |
|
Related Articles
- SoC design: When a network-on-chip meets cache coherency
- Get control of ARM system cache coherency with ACE verification
- Reusable Verification Infrastructure for A Processor Platform to deliver fast SOC development
- Early Interactive Short Isolation for Faster SoC Verification
- Adding Cache to IPs and SoCs
New Articles
- RISC-V in 2025: Progress, Challenges,and What's Next for Automotive & OpenHardware
- Understanding MACsec and Its Integration
- Discover new Tessent UltraSight-V from Siemens EDA, and accelerate your RISC-V development.
- The Critical Factors of a High-performance Audio Codec - What Chip Designers Need to Know
- Density Management in Analog Layout Design: Addressing Issues and Ensuring Consistency
Most Popular
- RISC-V in 2025: Progress, Challenges,and What's Next for Automotive & OpenHardware
- System Verilog Assertions Simplified
- System Verilog Macro: A Powerful Feature for Design Verification Projects
- UPF Constraint coding for SoC - A Case Study
- A Heuristic Approach to Fix Design Rule Check (DRC) Violations in ASIC Designs @7nm FinFET Technology