В конвеерном методе скорость определяется критическим (самым медленном) участком между элементами памяти. Так вот если делать просто по определению там не появляется каких-то критических мест. Это меня и смущает…
Это позволило сократить площадь полученной схемы в некоторых случаях в полтора раза. Но САПРы работают как-то недетрминированно, иногда выигрыш есть, иногда нет.
Далее в составе Logic Friday удалось обнаружить старенький (видимо фришный) синтезатор MIS: vscripts.ru/w/MIS:_A_multiple-level_logic_optimization_system, который натягивает логику на заданную систему функций. Logic Friday использует его для отрисовки логикина уровне вентилей. Но после его работы сильно выросла задержка у схем, а в этом случае сокращение площади уже не имеет значения.
В итоге чуток помучавшись отошел от этой задачки. )
Приведенные выражения уже минимизированы. Другое дело, что результат минимизации можно записать разными способами. Здесь оно записано как СДНФ. Одна и та же переменная повторяется много раз и сама длина выражения довольно большая.
Да, примерно так и есть. Отлично подошел бы алгоритм натягивания логики на заданную библиотеку логических элементов. Но такое ощущение возникает, что тут сплошная эвристика. )
Написано
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.