fpga.love ← Back to projects
Home / Projects / awesome-open-hardware-verification

awesome-open-hardware-verification

工具链 ben-marshall

A List of Free and Open Source Hardware Verification Tools and Frameworks

EDA, simulation, synthesis and place-and-route tools — the infrastructure of the FPGA flow.

The project covers topics such as awesome, awesome-list, constrained-random-verification, coverage, formal-verification, hardware, python, verification.

This page is auto-synced from the repository metadata and refreshed weekly from GitHub.

Stars635
Forks64
LicenseMIT
Last push2026-01-03
Repositoryhttps://github.com/ben-marshall/awesome-open-hardware-verification
View source and README on GitHub

Topics

awesomeawesome-listconstrained-random-verificationcoverageformal-verificationhardwarepythonverification

Related projects