December 3, 2021

CHICAGO PIXELS

SEMICONDUCTOR RESEARCH CENTER

An ISA-like Accelerator Abstraction. Innovation in Verification

A processor ISA provides an abstraction against which to verify an implementation. We look here at a paper extending this concept to accelerators, for verification of how these interact with processors and software. Paul Cunningham (GM, Verification at Cadence), Raúl Camposano (Silicon Catalyst, entrepreneur, former Synopsys… Read More

The post An ISA-like Accelerator Abstraction. Innovation in Verification appeared first on SemiWiki.