Searching in SVIncCompil/Testcases/YosysBigSim/elliptic_curve_group