Hey Asif, MathWorks products do have a lot of Transaction Level Model Generation features. You can read about these features in details in the documentation linked to below.
These features are part of MathWorks' HDL Verifier product. Even though Simulink is only a recommended product with HDL Verifier, if one wants to generate TLM's, Simulink Coder is a required product (and Simulink Coder requires Simulink and MATLAB Coder). You can see a table of product requirements in the documentation at the following link.