Цитата Сообщение от Patron Посмотреть сообщение
Это позволяет точно эмулировать абстрактную спецификацию электронно-логического устройства, но не его реальную работу.

Когда время прихода того или иного логического сигнала не синхронно тактовой частоте и определяется аналоговыми характеристиками реальных линий передачи - абстрактные правила эмуляции такой системы (на мой взгляд) выходят за пределы логики автоматов.
А вот на мой взгляд нет. Вся несинхронность так же описывается и закладывается в программу. Естественно, это должно быть учтено до проектирования программы.

Скажем так, несинхронных вещей не бывает. Все они с чем-нибудь синхронны. С каким-то источником тактирования.