Skip to content
PRISM
4.1 Verification Evidence
English
Italiano
Initializing search
1. Introduction
2. Getting Started
3. Architecture
4. Results
5. Future Works
PRISM
1. Introduction
1. Introduction
1.1 Floating-Point Reproducibility
2. Getting Started
2. Getting Started
2.1 Wireshark Plugin
3. Architecture
3. Architecture
3.1 Protocol
3.2 Pipeline
3.3 Parameters
3.4 RTL Modules
3.4 RTL Modules
3.4.1 Datapath contracts
3.4.2 Components
3.4.2 Components
OpenNIC 250 MHz adapter
Collective core
Ingress port
Control reassembler
Control executor
Data depacketizer
Issue backend
Input conversion stage
Range scheduler
Result chunk store
Result router
Result packetizer
4. Results
4. Results
4.1 Verification Evidence
5. Future Works
5. Future Works
5.1 Protocol
PRISM
4. Results
4.1 Verification evidence
¶
Back to top