issues
search
YosysHQ
/
scy
Sequence of Covers with Yosys
Other
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add .readthedocs.yaml
#6
KrystalDelusion
closed
1 year ago
0
Merge branch krys/tidy into main
#5
KrystalDelusion
closed
1 year ago
0
Disallow mixing tabs and spaces for the sequence block
#4
clairexen
opened
1 year ago
1
Improved error reporting for sby FAIL status (i.e. unreached cover statements)
#3
clairexen
closed
1 year ago
0
Improved error reporting when a cover property name isn't actually present in the design
#2
clairexen
closed
1 year ago
0
Implementation of SCY
#1
KrystalDelusion
closed
1 year ago
1