1. A system for generating a software transaction-level modeling (TLM) model, comprising: a processing unit; a compiler coupled to said processing unit to generate target binary codes of a target software; a decompiler coupled to said processing unit to decompile said target binary codes into high level codes, so as to generate a functional model of said target software, wherein said functional model includes a plurality of basic blocks; an execution time calculating module coupled to said processing unit to calculate overall execution time of said plurality of said basic blocks of said functional model; a sync point identifying module coupled to said processing unit to identify sync points of said software transaction-level modeling (TLM) model; and a time annotating module coupled to said processing unit to annotate said overall execution time of said plurality of said basic blocks and said sync points into said functional model, so as to obtain said software transaction-level modeling (TLM) model.