Searching in SVIncCompil/Testcases/YosysTests/architecture/synth_coolrunner2