A. Yakovlev, M. Kishinevsky, A. Kondratyev, L. Lavagno
Асинхронные схемы ведут себя как параллельные программы, выполненные в аппаратной логике. Процессы в таких схемах синхронизированы в соответствии с динамическими логическими и случайными условиями между коммутацией событий. Классическая парадигма, легко представляемая на большинстве языков для моделирования параллельных систем, ориентированных на вычислительный процесс – причинная связь AND, которая часто ассоциируется с синхронизацией рандеву. В этой статье мы исследуем другую, менее известную парадигму, называемую причинной связью OR.