🏠
Production-Ready Verification Researching
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
-
Southeast University
- Shenzhen
-
07:27
(UTC +08:00) - https://formind.netlify.app/
Highlights
- Pro
Lists (20)
Sort Name ascending (A-Z)
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
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- MATLAB
- MDX
- MLIR
- OCaml
- Objective-C++
- PDDL
- PHP
- Python
- R
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- Scala
- Shell
- Smalltalk
- Standard ML
- Swift
- SystemVerilog
- TL-Verilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- Yacc
Starred repositories
4
stars
written in HTML
Clear filter
A collection of resources and papers on Diffusion Models
Collection of papers, datasets, code and other resources for object tracking and detection using deep learning
Countdown for EDA and formal verification conference deadlines