applications/engineering

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.

Listing created by Repoview-0.6.6-4.el7