Agentic verification
for chip design

Siltrace cuts million-dollar re-spins by finding and fixing chip design bugs before tapeout.

Talk to us

Problem

Only 5% of chip projects succeed on the first tapeout1

A major cause: logic and functional bugs

$40M+2

per advanced mask set

6–12mo2

of delay per re-spin

~50%1

of project time is verification

Solution

Agent system for design verification

Engineers test what they thought of. Siltrace checks what they did not, and fixes it.

Knowledge

A verification playbook and the facts of your design, read before work starts.

Debug tools

A failed check comes back with a counterexample, the suspect lines and waveforms.

INSpecRTLOUTVerified RTLProven fixPlanProposeCheckLearn

Workflow

Stages and gates. A result moves on only when it passes every gate.

Check tools

An isolated grader and golden models built from the spec. Every fix is proven.

INSpecRTLOUTVerified RTLProven fixPlanProposeCheckLearnKnowledgeWorkflowDebug toolsCheck tools
Knowledge
A verification playbook and the facts of your design, read before work starts.
Workflow
Stages and gates. A result moves on only when it passes every gate.
Debug tools
A failed check comes back with a counterexample, the suspect lines and waveforms.
Check tools
An isolated grader and golden models built from the spec. Every fix is proven.

Traction

Beats the best on public benchmarks3

HWE-Bench

Bugs fixed, of 172

149OpenAI Codex
165Siltrace

CirFix

Wrong fixes passed as correct

28Official tests
0Siltrace

VerilogEval v2

Empty designs passed as correct

152NVIDIA’s grader
0Siltrace
BenchmarkCompared withSiltrace
HWE-BenchBugs fixed, of 172149OpenAI Codex165
CirFixWrong fixes passed as correct28Official tests0
VerilogEval v2Empty designs passed as correct152NVIDIA’s grader0

Vision

From verification to the whole chip lifecycle

CHIP LIFECYCLEPRE-SILICONPOST-SILICONTAPEOUTSpec andarchitectureRTL andIP designVerificationPhysicaldesignFabricationProductiontestIn thefieldNEXTDesign agentsGenerate proven RTL and IPNOWVerification agentsFind missed bugs, prove every fixNEXTPost-silicon agentsField diagnosis and screeningSiltrace agent platform