== TLMDT Modeling for tightly interdependent architectures with several levels of interconnections ==
=== 0. Introduction
''This document is still under development''.

This TLMDT specification is strongly based on the [http://www.soclib.fr/trac/dev/wiki/WritingRules/Tlmt TLMDT for SOCLIB] one.[[BR]]
Several rules are preserved :
* Method used to model a VCI / PDES transaction (payload with extension / phase / time)
* Global modeling of the VCI Initiator and VCI Target 
* Global description on the interconnect's work
* PDES : activity message
Some others are not :
* PDES : null-message
* PDES : token (not described in the link)
* Interconnect's inner synchronisation mechanisms

Another TLMDT specification is needed to prevent deadlocks and to greatly promote performance & parallelization with minor loss to precision on architecture that are not only composed of simple initiators and targets linked through a single network.[[BR]]
List of components' behaviors which exists on TSAR and cannot be efficiently modeled without a new specification :
* Multi-transactionnal initiators
* Multiple networks on which a single component can (directly or not) be an initiator for several ports of an interconnect.
* Components which are target and initiator at the same time.

=== 1. VCI Messages usage
=== 2. PDES Messages usage
=== 3. Efficient time modeling in a multi-transactionnal VCI Component
=== 4. VCI Initiator modeling
=== 5. VCI Target-Initiator (decoupled) modeling
=== 6. VCI Target-Initiator (coupled) modeling
=== 7. VCI Target modeling
=== 8. VCI Local Crossbar modeling
=== 9. VCI Global Crossbar modeling
=== 10. Proof of the deadlock free feature
=== 11. Locating the loss in precision