issues
search
YosysHQ
/
eqy
Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
29
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
mysterious error
#69
maliberty
closed
1 week ago
2
Add --version option based on git describe
#68
jix
closed
2 months ago
0
Unclear what the error is
#67
maliberty
closed
1 month ago
3
Add PR template
#66
mmicko
closed
4 months ago
0
EQY fails to prove a cell mapping equivalent
#65
povik
closed
4 months ago
3
Support setting arbitrary SBY options for the SBY strategy
#64
jix
closed
4 months ago
0
add install instructions to docs
#63
nakengelhardt
closed
4 months ago
0
Make install not working
#62
JIceberg
closed
4 months ago
2
Use github action summary to store coverage results
#61
mmicko
closed
4 months ago
0
For cronjob run regular tests
#60
mmicko
closed
4 months ago
1
Update CI scripts
#59
mmicko
closed
5 months ago
1
Support for UDP?
#58
maliberty
opened
5 months ago
8
Unclear error reporting in the presence of multiple conflicting drivers
#57
maliberty
opened
5 months ago
11
make: yosys-config: No such file or directory
#56
DH-Makwana
closed
6 months ago
0
eqy stuck in infinite loop with gate design primitives (Xilinx gates) as blackboxes
#55
xtofalex
opened
6 months ago
2
Add scheduled task for CI
#54
mmicko
closed
5 months ago
0
Run 'async2sync' for the 'sat' strategy
#53
jix
closed
7 months ago
0
Use built eqy for testing
#52
mmicko
closed
7 months ago
0
ERROR: syntax error in *.eqy line 1
#51
ssmolov
closed
2 months ago
2
Recode sections are matched against the post-combine gold design but applied to the pre-combine gold design.
#50
jix
opened
10 months ago
0
Example involving different but equivalent submodules
#49
jix
closed
11 months ago
0
Avoid "Argument list too long" error during summary
#48
jix
closed
11 months ago
0
Fix escaping for dependent shell patterns
#46
jix
closed
11 months ago
0
Widely differing behavior with different standard cell libs (but the same design)
#45
openroadie
closed
11 months ago
5
Redo JSON output to use PrettyJson
#44
donn
closed
12 months ago
0
Invalid JSON generated during partition stage
#43
donn
closed
12 months ago
1
Improve error message when encountering unmapped memories in a partition solved and using SBY
#42
jix
opened
12 months ago
0
Increase the length of arguments that can be handled from 128k to 10^…
#41
openroadie
closed
12 months ago
0
Running eqy can final report error "Argument list too long"
#40
openroadie
closed
11 months ago
8
Default partitioning of eqy fails to prove equivalence for circuit containing only "eq" and "neq", but succeeds if output is turned into internal wire
#47
edwintorok
opened
1 year ago
4
Allow yosys-config executable path to be overriden
#39
rbarzic
closed
12 months ago
0
add spm sky130 example
#38
nakengelhardt
closed
1 year ago
0
Unrelated cells sharing the same name can cause conflicting drivers in an amended partition (triggerd by the default ghdl-yosys-plugin output)
#37
fayalalebrun
opened
1 year ago
5
Bug in parsing partitions
#36
nasahlpa
closed
12 months ago
1
Add CI scripts
#35
mmicko
closed
1 year ago
0
add .readthedocs.yaml
#34
nakengelhardt
closed
1 year ago
0
Hierarchy examples and fixes
#33
jix
closed
1 year ago
0
Add NERV example readme as getting started guide
#32
jix
closed
1 year ago
0
include license verbatim from file
#31
nakengelhardt
closed
1 year ago
0
Coverage test improvements
#30
mmicko
closed
1 year ago
1
Adding tests
#29
mmicko
closed
1 year ago
0
Document how xprop is used to handle uninitialized or dont-cares bits
#28
jix
closed
1 year ago
0
Document strategies
#27
jix
closed
1 year ago
0
Rename `satseq` strategy to `sat`
#26
jix
closed
1 year ago
0
Simplify coverage and add nerv example
#25
mmicko
closed
1 year ago
0
Add NERV tutorial
#24
Ravenslofty
closed
1 year ago
0
Fix a race-condition EqyTask that could truncate output
#23
jix
closed
1 year ago
0
Add requirements.txt
#22
Ravenslofty
closed
1 year ago
0
Initial support for test coverage
#21
mmicko
closed
1 year ago
0
Recode WIP
#20
mmicko
closed
1 year ago
0
Next