search

YosysHQ / eqy

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

mysterious error #69

Closed maliberty closed 2 weeks ago

maliberty commented 3 weeks ago

What does an error like:

EQY  2:31:52 [./logs/nangate45/aes/base/4_eqy_output] run: ERROR: Failed to import cell $flatten\__po_dcnt[0]$_SDFFE_PN0P_.CK__assert.$assert$../../../partitions/aes_cipher_top.dcnt.0_SDFFE_PN0P_.CK.sv:58$102376 (type $check) to SAT database.

mean?

jix commented 2 weeks ago

This looks like a duplicate of #67.

maliberty commented 2 weeks ago

Sorry I switched machines and it had an old eqy version.