Skip to content
STIMSMITH

MPVer

Tool
First seen 6/2/2026
Last seen 6/5/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
Code Generation and Analysis for the Functional Verification of Microprocessors ← introduces 100% 2e
The paper introduces MPVer for multiprocessor verification.
Multiprocessor Verification evaluates → 100% 2e
MPVer directly targets multiprocessor verification by generating multiple code streams.
Silicon Graphics Inc. authored by → 92% 1e
MPVer was developed at Silicon Graphics Inc.
cache coherency evaluates → 100% 1e
MPVer is designed to verify cache coherency protocols in multiprocessor systems.
self-checking code uses → 85% 1e
MPVer generates self-checking code streams that can verify produced results.
Silicon Graphics Inc. ← uses 90% 1e
Silicon Graphics Inc. developed and used MPVer for multiprocessor verification.