tribuf: `-formal` option: convert all to logic and detect conflicts
tribuf: `-formal` option: convert all to logic and detect conflicts

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