yosys-smt2-memory rom 2 8 1 0 async