"Оптимизатор" логических выражений, Есть ли такой в виде отдельной проги или в составе чегонить Опции

[Alex03]

Такой чтобы ввести строчку вида:
((a + * c) * ((~a + * c)
и получить соответствующий ответ
c * b

Бывает такое?

Ну или ссылки на методы, только не на карты карно, там больше 4-х переменных уже труба.

((a + * c) * ((~a + * c)

Промашка вышла!

Код

((a + b) * c)  * ((~a + b) * c)

[Alex03]

Я имел ввиду логические выражения, о чём и было написано в заголовке.
А уж формат записи

Код

    ((a + b) * c)  * ((~a + b) * c)
или
    ((a | b) & c)  & ((~a | b) & c)
или
    ((a OR b) AND c)  AND (((NOT a) OR b) AND c)
или
    ...

ИМХО дело десятое.

Тебе нужно чтобы:
-компактно выглядело
-быстро работало
-занимало маленькую площадь
-просто для понимания?

Как новичёк в ПЛИС-о строении (а вообще я программер) я до хHDL-ев ещё не дорос.
Разбираться с хHDL пока некогда.
Посему певый проект - схемный ввод, как абсолютно понятный, но вот при отладке его я уже понял что у хHDL одни плюсы, чего только стоит "закоментарить" один кусок и породить его замену в схеме.
В планах когда время будет поблочно схему в HDL попереводить.


Так вот. Изначально вопрос возник из оптимизации логики на схеме, там гдето из 8-ми сигналов получал 2. И соответственно делал поэтапно, через промежуточные осмысленные по логике работы.

Видимо теперь я хочу уже не просто упрощать, но ещё и с заведомым результатом.
Т.е.
1. Упростить по общему кол-ву операций
2. Упростить/преобразовать с минимизацией операций от "входа к выходу"
3. Упростить/преобразовать в сумму произведений или наоборот (например с оглядкой на структуру ПЛИС, хотя другим ПЛИС с лукап-тэйблами вообще по барабану)
4. Упростить/преобразовать для удобочитаемости (это уже в программировании порой полезно)
... ну и т.д.

В общем расширить кругозор по всей теме.