Skip to content
View TobiasKovats's full-sized avatar

Block or report TobiasKovats

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

Assembly 2,970 962 Updated Jun 16, 2026
SystemVerilog 14 5 Updated Jul 1, 2025

RISC-V Speculation Barrier

Makefile 5 2 Updated May 25, 2026

The ultimate VCD files comparator

C++ 13 Updated May 7, 2020

Revizor - Hardware fuzzing for the age of speculation

Python 184 50 Updated May 26, 2026
Assembly 5 1 Updated Apr 23, 2026

Docker sources for the artifacts of MileSan

Scala 8 Updated Mar 16, 2026

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

Scala 2,288 877 Updated Jun 15, 2026

Kronos is a 3-stage in-order RISC-V RV32I_Zicsr_Zifencei core geared towards FPGA implementations

SystemVerilog 77 13 Updated May 15, 2023

🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl

Rust 108 21 Updated May 3, 2026

Fast Symbolic Repair of Hardware Design Code

Python 39 9 Updated Jan 20, 2025

Instruction Set Generator initially contributed by Futurewei

C++ 308 77 Updated Oct 17, 2023

HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware

Verilog 9 1 Updated Nov 27, 2024