I'm working on adding support for custom smtlib2 expressions to yosys, it's built on having the expressions as attributes on outputs of a blackbox module. sby currently doesn't work with blackbox modules, since hierarchy -simcheck fails due to the blackbox modules and there doesn't appear to be a way to remove running it with -simcheck.
I'm working on adding support for custom smtlib2 expressions to yosys, it's built on having the expressions as attributes on outputs of a blackbox module. sby currently doesn't work with blackbox modules, since
hierarchy -simcheckfails due to the blackbox modules and there doesn't appear to be a way to remove running it with-simcheck.