Полистал недавно книжку (не всю, только то что позволили):
Нашел пример, как делать схемы с помощью Petrify. Исходное задание выглядит так:
В результате получилась вот такая SI схема:
Да, от Маллера ушли не далеко, ну только что C-элементы подвесили. Думаю, все-таки надо показать, как надо делать асинхронные схемы. Для начала лучше ознакомиться с этим.
А здесь разберу приведенный пример.
Читать дальше →
Еще один пример синтеза асинхронных схем: VME bus controller
Source: habrahabr

