niwis
Follow
-
ariane Public
Forked from openhwgroup/cva6Ariane is a 6-stage RISC-V CPU capable of booting Linux
-
reviewdog Public
Forked from reviewdog/reviewdog🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Go MIT License UpdatedFeb 20, 2025 -
verible-formatter-action Public
Forked from chipsalliance/verible-formatter-actionSystemVerilog Apache License 2.0 UpdatedFeb 17, 2025 -
-
AutoCC Public
Forked from morenes/AutoCCMethodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by …
Standard ML UpdatedJan 16, 2025 -
common_cells Public
Forked from pulp-platform/common_cellsCommon SV components
SystemVerilog Other UpdatedMar 6, 2024 -
uarch-side-channels Public
Forked from riscv-admin/uarch-side-channelsTeX Creative Commons Attribution 4.0 International UpdatedJan 26, 2024 -
openc910 Public
Forked from XUANTIE-RV/openc910OpenXuantie - OpenC910 Core
Verilog Apache License 2.0 UpdatedDec 5, 2023 -
timesecbench Public
Forked from dneubrandt/timesecbenchC GNU Lesser General Public License v3.0 UpdatedOct 20, 2023 -
core-v-verif Public
Forked from openhwgroup/core-v-verifFunctional verification project for the CORE-V family of RISC-V cores.
Assembly Other UpdatedMay 29, 2023 -
emacs-dotfiles Public
Forked from bluewww/emacs-dotfilesMy emacs dotfile, inspired by spacemacs.
Emacs Lisp GNU General Public License v3.0 UpdatedMay 27, 2023 -
riscv-hyp-tests Public
Forked from josecm/riscv-hyp-testsA bare-metal application to test specific features of the risc-v hypervisor extension
C GNU General Public License v3.0 UpdatedMay 1, 2023 -
tt03-submission-template Public
Forked from TinyTapeout/tt03-submission-templateSubmission template for Tiny Tapeout 03
Tcl Apache License 2.0 UpdatedApr 22, 2023 -
-
channel-bench-tools Public
Forked from SEL4PROJ/channel-bench-toolsHTML BSD 2-Clause "Simplified" License UpdatedMar 14, 2023 -
-
seL4_tools Public
Forked from seL4/seL4_toolsBasic tools for building seL4 projects
C Other UpdatedMay 31, 2022 -
seL4_libs Public
Forked from seL4/seL4_libsNo-assurance libraries for rapid-prototyping of seL4 apps.
C Other UpdatedMay 31, 2022 -
sel4test-manifest Public
Forked from seL4/sel4test-manifestProject to build and test seL4 for many different platforms
UpdatedMay 27, 2022 -
cva6-sdk Public
Forked from openhwgroup/cva6-sdkCVA6 SDK containing RISC-V tools and Buildroot
Makefile UpdatedSep 15, 2021 -
snitch Public
Forked from pulp-platform/snitchLean but mean RISC-V system!
SystemVerilog Apache License 2.0 UpdatedAug 18, 2021 -
-
-
dromajo Public
Forked from chipsalliance/dromajoRISC-V RV64GC emulator designed for RTL co-simulation
C++ Apache License 2.0 UpdatedFeb 6, 2021 -
-
-
-
sel4bench Public
Forked from seL4/sel4benchsel4 benchmarking applications and support library.
C Other UpdatedMay 12, 2020 -
axi Public
Forked from pulp-platform/axiAXI4 and AXI4-Lite synthesizable modules and verification infrastructure
SystemVerilog Other UpdatedMar 19, 2020 -