sby
Verification tool
A front-end driver program for Yosys-based formal hardware verification flows
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
413 stars
37 watching
78 forks
Language: Python
last commit: 3 months ago
Linked from 1 awesome list
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
| yosyshq/mcy | An automated tool to help improve testbench coverage by generating and filtering mutations in digital design post-synthesis netlists | 77 |
 shehab-naga/ddr5_phy | Verification of a digital data-path in a DDR5 Physical Layer | 42 |
 swyxio/swyxio | A Python project focused on GitHub and DevRel, with the goal of providing resources and support for developers. | 111 |
 aaqaishtyaq/iay | A minimalistic shell prompt implementation in Rust | 6 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 chipsalliance/synlig | A SystemVerilog synthesis tool that generates digital circuit designs from HDL code | 170 |
 sri-csl/pvs | A verification system for formal methods and specification languages | 141 |
 jorenham/scipy-stubs | Provides type hints and auto-completion support for SciPy libraries without requiring additional configuration or static type-checker plugins. | 23 |
 sergaks/y-scripts | A collection of bash scripts simplifying work with Hybris platforms | 9 |
 chiselverify/chiselverify | A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog | 142 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 computationalmodelling/nbval | Tools for validating and testing Jupyter notebooks with automated execution and output comparison | 446 |
 robostack/jupyter-ros | Provides ROS support for Jupyter notebooks to enable robotics developers to create interactive and dynamic visualizations of robot behavior. | 592 |
 0xsauby/yasuo | Scans for vulnerable 3rd-party web applications on a network | 570 |
 jhamrick/nbflow | Tool that supports reproducible workflows with Jupyter Notebooks and SCons. | 160 |