00

Breker TrekSOC

Tool ☆ WATCH ⎘ SHARE

First seen 6/16/2026

Last seen 6/16/2026

Evidence 1 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · Breker TrekSOC · depth=1

02

RELATIONSHIPS

1 connections

Micro-processor verification using a C++11 sequence-based stimulus engine ← mentions 100% 1e evidence

The paper mentions Breker TrekSOC as an industrial tool for self-checking C tests.