SBVer

Tool

First seen 6/2/2026

Last seen 6/5/2026

Evidence 6 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

12 connections

The paper introduces SBVer as an external interface verifier tool.

BRVer ← uses 92% 3e

BRVer can use SBVer-generated code as filler code between branches.

SBVer uses heuristic algorithms for code generation.

self-checking code uses → 100% 2e

SBVer can produce self-checking code based on an internal memory model.

external interface unit evaluates → 100% 2e

SBVer focuses on exercising the external interface unit of the microprocessor.

cache coherency evaluates → 90% 2e

SBVer targets cache coherency in multiprocessor configurations as part of its verification scope.

Silicon Graphics Inc. authored by → 92% 2e

SBVer was developed at Silicon Graphics Inc.

memory management unit evaluates → 90% 1e

SBVer has knowledge of the memory management unit built into it.

Silicon Graphics Inc. developed and used SBVer for microprocessor verification across multiple generations.

SBVer uses heuristic algorithms to produce sequences of interesting instructions.

self-checking code implements → 95% 1e

SBVer can produce self-checking code based on an internal memory model maintained during code generation.

SBVer has knowledge about the memory management unit built in.