Если вам известен размер фрагментов, которые вы хотите вырезать, вы можете использовать Python , например:
s="CompilationStatistics_Compilation_StepList_Map_TimingUsage_ClockList_Clock_MinimumPeriod"
print s[22:-14]
Конечно, есть и другие способы найти нужный вам номер, например, используя String.rindex()
, чтобы найти место, где начинается конец фрагмента, который вы хотите отрезать. Например:
print s[len("CompilationStatistics_"):s.rindex("_MinimumPeriod")]