49 Средства моделирования устройств (1006436), страница 2
Текст из файла (страница 2)
семейства. Транзакты никогда не задерживаются на входе данного блока.
После прибытия необходимого количества транзактов одного семейства
(количество указывают в поле A), из блока выходит только первый
прибывший транзакт, остальные выводятся из модели.
Особенности:
1) Для каждого семейства в одном блоке ASSEMBLE выполняется только одна
операция объединения.
2) В одном блоке может параллельно выполняться объединение для
транзактов различных семейств.
3) Для любого семейства объединение может осуществляться параллельно в
различных блоках ASSEMBLE.
4) После окончания операции объединения для данного семейства, может
начаться новое объединение для того же семейства.
Блок GATHER аналогичен по своему действию блоку ASSEMBLE в смысле
обработки семейств транзактов и отличается от него только тем, что не
выводит транзакты из модели, а пропускает их к следующему блоку по
прибытию последнего транзакта.
Блок MATCH используют для синхронизации движения двух транзактов
одного семейства без их изъятия из модели.
N MATCH A
Блок MATCH не объединяет
транзакты, позволяя им двигаться по своему (одному) маршруту.
Синхронизация осуществляется путем выбора пар транзактов одного
семейства и их задержки до тех пор, пока оба этих транзакта не
достигнут заданных точек блок-схемы. Транзакты никогда не задерживаются
на входе данного блока и переходят к следующему блоку при выполнении
условий синхронизации. В поле A указывают номер другого блока MATCH( в нашем случае A MATCH N), называемого сопряженным (блоки указывают друг на друга). Если в такой блок попадает транзакт, являющийся единственным членом семейства, то
генерируется ошибка. Возможно использование блока MATCH сопряженным с
самим собой. В этом случае его действие эквивалентно блоку GATHER с
операндом в поле A: META MATCH META. При входе транзакта в блок MATCH, симулятор просматривает сопряженный ему блок MATCH, затем просматривает семейство данного транзакта, и при наличии в сопряженном блоке транзакта этого же семейства, позволяет им двигаться дальше.
7














