🏠
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
16 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 verification79 repositories
Starred repositories
3
stars
written in MLIR
Clear filter
A scalable High-Level Synthesis framework on MLIR
An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs