Skip to content
STIMSMITH

Silicon Graphics Inc.

Organization
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

12 connections
BRVer ← authored by 92% 2e
BRVer was developed at Silicon Graphics Inc.
SBVer ← authored by 92% 2e
SBVer was developed at Silicon Graphics Inc.
MPApplicationVerifier ← authored by 92% 1e
MPApplicationVerifier was developed at Silicon Graphics Inc.
Theo ← authored by 92% 1e
Theo was developed at Silicon Graphics Inc.
Profiler ← authored by 92% 1e
Profiler was developed at Silicon Graphics Inc.
Ans ← authored by 92% 1e
Ans was developed at Silicon Graphics Inc.
SBVer uses → 95% 1e
Silicon Graphics Inc. developed and used SBVer for microprocessor verification across multiple generations.
BRVer uses → 90% 1e
Silicon Graphics Inc. developed and used BRVer for branch verification.
MPVer uses → 90% 1e
Silicon Graphics Inc. developed and used MPVer for multiprocessor verification.
Code Generation and Analysis for the Functional Verification of Microprocessors ← published by 100% 1e
The paper is published by Silicon Graphics Inc.
Theo uses → 90% 1e
Silicon Graphics Inc. developed Theo as a sophisticated code generator for verification.
MPVer ← authored by 92% 1e
MPVer was developed at Silicon Graphics Inc.