YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
29 stars 5 forks source link

Improve error message when encountering unmapped memories in a partition solved and using SBY #42

Open jix opened 1 year ago

jix commented 1 year ago

The SBY strategy uses xprop by default and xprop currently requires the memory to be mapped. The solution is to add memory_map -formal, but the error message that points to a memory is hidden in the SBY logfile. Since EQY knows which partitions contain memory it could produce a better error and/or just take care of mapping the memory.