verific - make filepath handling compatible with verilog frontend
verific - make filepath handling compatible with verilog frontend

YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys