mrgabich
Currently, I am a Ph.D. researcher at the HPCAS group from INESC-ID with 8+ years of R&D experience.
SemiDynamicsBarcelona, Spain
Pinned Repositories
adCARM-casestudy
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
docs-dev-guide
Documentation developer guide
docs-resources
docs-spec-template
mrgabich
Config files for my GitHub profile.
opensbi
RISC-V Open Source Supervisor Binary Interface
riscv-arch-test
riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
riscv-config
RISC-V Configuration Validator
mrgabich's Repositories
mrgabich/docs-resources
mrgabich/adCARM-casestudy
mrgabich/core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
mrgabich/docs-dev-guide
Documentation developer guide
mrgabich/docs-spec-template
mrgabich/mrgabich
Config files for my GitHub profile.
mrgabich/opensbi
RISC-V Open Source Supervisor Binary Interface
mrgabich/riscv-arch-test
mrgabich/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
mrgabich/riscv-config
RISC-V Configuration Validator
mrgabich/SOFIA-casestudy
SOFIA Framework
mrgabich/SVM_for_aaH-base
Support vector machine (SVM) for classifying geomagnetic storms in the aaH index
mrgabich/riscv-crypto
RISC-V cryptography extensions standardisation work.
mrgabich/riscv-isa-manual
RISC-V Instruction Set Manual
mrgabich/riscv-isa-sim
Spike, a RISC-V ISA Simulator
mrgabich/riscv-library
This repository holds the front matter pages for the RISC-V Library
mrgabich/riscv-perf-model
Example RISC-V Out-of-Order/Superscalar Processor Performance Core and MSS Model
mrgabich/riscv-pk
RISC-V Proxy Kernel
mrgabich/riscv-profiles
RISC-V Architecture Profiles
mrgabich/riscv-tests
mrgabich/RVVI
RISC-V Verification Interface