🏠
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 Standard ML
Clear filter
Methodology 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 …