Route

Any hardware can route or forbid the transactions passing through him. A routing constraint can be specified as follows.

If all transactions from an pml.model.hardware.Initiator (denoted initiator) to a pml.model.hardware.Target (denoted target) are routed by an pml.model.hardware.Hardware (denoted router) to one of its successor (denoted next) then

 initiator targeting target useLink router to next

If the router forbids a specific route then

initiator targeting target cannotUseLink router to next

If the router forbids all routes then

initiator targeting target isBlockedBy router

If this constraint is true for all target, then the targeting keyword can be omitted in any previous construct

initiator useLink router to next