diorga

PhD student, Multicore Programming Group and Circuits and Systems Group

QualcommCambridge

Pinned Repositories

harpy
The code fused in the paper "The Semantics of Shared Memory in Intel CPU/FPGA Systems"
Language:Python6 1 00
slack-invite-automation
A tiny web application to invite a user into your slack team.
Language:JavaScript0 0 00
snitch
Lean but mean RISC-V system!
Language:SystemVerilog0 0 00
get-image-spv
Get image using Vulkan
Language:C++0 5 32
multicore-test-harness
A multicore microprocessor test harness for measuring interference
Language:C13 10 03
library-metamorphic-testing
Fuzzer and metamorphic tester for C++ libraries
Language:C++3 4 121
snitch
⛔ DEPRECATED ⛔ Lean but mean RISC-V system!
Language:SystemVerilog216 9 5052
Murphi2019
A home for the classic model checking tool with the intention to keep it maintained for current systems
Language:C++5 3 21

diorga's Repositories

diorga/harpy
The code fused in the paper "The Semantics of Shared Memory in Intel CPU/FPGA Systems"
Language:Python6 1 00
diorga/slack-invite-automation
A tiny web application to invite a user into your slack team.
Language:JavaScript0 0 00
diorga/snitch
Lean but mean RISC-V system!
Language:SystemVerilog0 0 00