| Name |
sby |
| Version |
0+gitX (9e35ec9948ebd1a1dd2b35959a05078c67e840b7) |
| Summary |
|
| Description |
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows |
| Section |
devel/verification |
| License |
ISC |
| Homepage |
https://github.com/YosysHQ/sby
|
| Recipe file |
recipes-simulation/symbiyosys/sby.bb
|
| Layer |
meta-hdl (master branch) |
| Inherits |
|
| Dependencies |
- virtual/i686-oe-linux-compilerlibs
- virtual/i686-oe-linux-gcc
- virtual/libc
|
| PACKAGECONFIG options |
|
Sources
Patches
None
Other branches
This recipe in other branches of meta-hdl:
| Branch |
Recipe |
|
master
|
sby 0+gitX (this recipe)
|