🏠
Production-Ready Verification Researching
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
-
Southeast University
- Shenzhen
-
08:47
(UTC +08:00) - https://formind.netlify.app/
Highlights
- Pro
Stars
EDA
eda infra.
18 repositories
Verilator open-source SystemVerilog simulator and lint system
Chisel: A Modern Hardware Design Language
Python-based Hardware Design Processing Toolkit for Verilog HDL
(WIP) Open-source Rust gate-level EDA infrastructure: parsers and databases
Intermediate Language (IL) for Hardware Accelerator Generators
Low Level Hardware Description — A foundation for building hardware design tools.
Test suite designed to check compliance with the SystemVerilog standard.
A modern hardware definition language and toolchain based on Python