SymbiYosys - The Yices SMT Solver
| License: | GPL |
|---|
- Description:
SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows. SymbiYosys provides flows for the following formal tasks: - Bounded verification of safety properties (assertions) - Unbounded verification of safety properties - Generation of test benches from cover statements - Verification of liveness properties
Packages
| SymbiYosys-0.1.git5d19e4641a4151058df8cc7d488cc60ff0849d99-1.el7.soc.src [64 KiB] |
Changelog
by Jean-Paul Chaput (2020-02-17):
- Initial release of 0.1. |