Use `sat -tempinduct` and comments for why equiv_opt not sufficient
Use `sat -tempinduct` and comments for why equiv_opt not sufficient

SymbiFlow/yosys,antmicro/yosys,cliffordwolf/yosys,antmicro/yosys,cliffordwolf/yosys,SymbiFlow/yosys,YosysHQ/yosys,YosysHQ/yosys,cliffordwolf/yosys,YosysHQ/yosys,YosysHQ/yosys,antmicro/yosys,YosysHQ/yosys,antmicro/yosys,YosysHQ/yosys,YosysHQ/yosys,cliffordwolf/yosys,cliffordwolf/yosys,cliffordwolf/yosys,cliffordwolf/yosys,SymbiFlow/yosys,antmicro/yosys,YosysHQ/yosys,antmicro/yosys,SymbiFlow/yosys,SymbiFlow/yosys,antmicro/yosys,SymbiFlow/yosys,cliffordwolf/yosys,cliffordwolf/yosys,SymbiFlow/yosys,SymbiFlow/yosys,antmicro/yosys