Skip to content
STIMSMITH

Bus Protocol Properties

Concept
First seen 7/18/2026
Last seen 7/18/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
Property Checking ← uses 100% 2e
Property checking verified bus protocol properties for the LFI bus bridge.
Verification IP Reuse ← uses 100% 2e
Bus protocol properties are reusable across different modules with similar interfaces.