ast recognize lower case x and z and verific gives upper case
ast recognize lower case x and z and verific gives upper case

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