/src/test/resources/rtlil_equiv_check/