«Микроархитектурная модель включает транзакции, элементы состояний и аппаратные модули. Каждая транзакция описывает, как аппаратный модуль физически используется в процессе одновременного исполнения транзакций. Конечный автомат транзакции выполняет одну передачу для каждого модуля в единицу времени. Транзакции выполняются не изолировано друг от друга и изменения состояний являются видимыми для всех транзакций непосредственно после их завершения. Новые экземпляры транзакций могут создаваться в каждом цикле в соответствии с заданными условиями. Это позволяет моделировать конвейеры и другие формы одновременных транзакций. Экземпляры различных транзакций или несколько экземпляров одной транзакции могут стартовать и выполняться одновременно. Ошибкой является ситуация, когда два экземпляра транзакции записывают информацию в одну переменную состояния (или сигнал) одновременно. Наличие параллелизма приводит к необходимости взаимодействия транзакций (разделения ресурсов), для чего в дополнение к разделяемым состояниям могут быть использованы глобальные сигналы (связи).»

https://studfile.net/preview/7429380/page:3/

См. также:
Моделирование на уровне транзакций