NuAxiSemiconductor trade intelligence

Modular Verification of RTL Processors Against ISA Contracts (MIT, Google, UW)

What happened

Researchers from MIT, Google, and the University of Washington introduced 'Granite,' a new methodology for verifying the functional correctness and non-leakage of RTL processors against ISA contracts.

Impact and signal

Low impactImpact score: 10/100

Affected components and suppliers

MITGoogleUniversity of Washington

R&DVerificationMethodology

Source and time

Source: Semiconductor Engineering · 8/2/2026 · View original source

Open the NuAxi live feed →

Real-time pricing, supply signals and AI analysis for semiconductor traders

[News] Samsung, SK hynix’s HBM4 Push Puts HBM, General Memory Pricing in the Spotlight for 2H EarningsTrendForce · 8/12/2026
[News] Big Tech Reportedly Moves In on SK hynix With Production, EUV Funding Offers to Secure Memory SupplyTrendForce · 5/7/2026
[News] NVIDIA’s Rubin Ultra Seen Sticking to Dual-Die Design on Packaging Constraints; TSMC 3nm Demand IntactTrendForce · 3/31/2026
RT NEWS: 👀 As memory giants move away from avoiding long-term lock-ins, they may shift to 3–5yr binding deals. #Samsung is reportedly in talks wit...TrendForce Official (Market Data) · 3/20/2026
Top cloud providers to outspend Ireland's GDP on AI in 2026The Register · 2/26/2026
💡 Memory Is Buckling Under KV Cache Demand, Two Fixes Are in Play. Surging KV Cache demand against constrained memory supply created severe bottlen...TrendForce Official (Market Data) · 7/31/2026

Modular Verification of RTL Processors Against ISA Contracts (MIT, Google, UW)

What happened

Impact and signal

Affected components and suppliers

Source and time

Related briefings