Searching in SVIncCompil/Testcases/YosysBigSim/bch_verilog