🏠
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 verification82 repositories
Starred repositories
2
stars
written in Objective-C++
Clear filter
An updated version of miniF2F with lots of fixes and informal statements / solutions.