is a bit tricky though, I’ve been trying to set proper activity on the netlist but is not straight forward, since yosys screws all the names