🏠
Highlights
- Pro
Lists (20)
algorithm discovery
SOTA algorithm discovery based on LLMs.1 repository
alu
Arithmetic logic unit, for verification purpose (may later for PPA opt.).17 repositories
courses
course materials.1 repository
decision-making
some solvers, heuristics, etc.1 repository
EDA
eda infra.18 repositories
formal
formal techniques21 repositories
hardware trojan
Hardware trojan detection3 repositories
HLS
8 repositories
LLM Agents
18 repositories
LLM Code
14 repositories
LLM Inference
7 repositories
LLMs
15 repositories
mlir
use of mlir.8 repositories
Parser
10 repositories
Program Representation
8 repositories
RISC-V
7 repositories
Scale
1 repository
simu/emu
some simulation/emulation tech.3 repositories
synthesis
12 repositories
verification
list for hardware verification80 repositories
Starred repositories
14
stars
written in Scala
Clear filter
Open-source high-performance RISC-V processor
Chisel: A Modern Hardware Design Language
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
SonicBOOM: The Berkeley Out-of-Order Machine
A dynamic verification library for Chisel.
UCLID5: formal modeling, verification, and synthesis of computational systems
Open source high performance IEEE-754 floating unit
FSA: Fusing FlashAttention within a Single Systolic Array