Vai al contenuto
PRISM
4.1 Evidenze di verifica
English
Italiano
Inizializza la ricerca
1. Introduzione
2. Per iniziare
3. Architettura
4. Risultati
5. Sviluppi futuri
PRISM
1. Introduzione
1. Introduzione
1.1 Riproducibilità in virgola mobile
2. Per iniziare
2. Per iniziare
2.1 Plugin Wireshark
3. Architettura
3. Architettura
3.1 Protocollo
3.2 Pipeline
3.3 Parametri
3.4 Moduli RTL
3.4 Moduli RTL
3.4.1 Contratti del datapath
3.4.2 Componenti
3.4.2 Componenti
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. Risultati
4. Risultati
4.1 Evidenze di verifica
5. Sviluppi futuri
5. Sviluppi futuri
5.1 Protocollo
PRISM
4. Risultati
4.1 Verification evidence
¶
Torna su