PAL/GAL и все что с ними связано.

[krotan]

...безуспешно искал где скачать Logic Friday...

https://yadi.sk/d/KbtFCdLkM0F8Zg

[perestoronin]

где скачать Logic Friday

Благодарю.

И еще один оптимизатор
BOOM (BOOlean Minimization) https://ddd.fit.cvut.cz/prj/BOOM/

BOOM (BOOlean Minimization) is a tool for minimizing two-valued Boolean functions. The output is a near-minimal or minimal two-level disjunctive form. The input and output of BOOM is compatible with Berkeley standard PLA format

BOOM download page

The sourcecodes are available upon request.

Может уже кто-то запрашивал исходники и поделится ?

Должно компиляться и под linux из коробки
https://linux.die.net/man/1/boom

[krotan]

И еще один оптимизатор
BOOM (BOOlean Minimization) https://ddd.fit.cvut.cz/prj/BOOM/

К нему GUI не нашлась?

[perestoronin]

К нему GUI не нашлась?

А была информация, что есть GUI для BOOM ?
Я в основном все через CLI в пингвинах, потому и спрашиваю про исходники для оптимизаторов.

[AFZ]

Коллеги, кто более-менее владеет Абелем? Я вот тут сочиняю прошивку для GAL16V8D, и мне непонятна некоторая его самодеятельность. Допустим, пишу

RPLY = thnd & stSEL.FB & syncH & (uDINh # uDOUTh);

а он генерит

RPLY     = (  !stSEL.Q & thnd & syncH & uDINh
            #   !stSEL.Q & thnd & syncH & uDOUTh );

Откуда инверсия перед stSEL.Q ? Или я что-то не понимаю?

И еще: почему-то он по своей воле сделал все мои выходные сигналы инверсными, хотя я его об этом, вроде-бы, не просил...

[OrionExt]

Коллеги, кто более-менее владеет Абелем? Я вот тут ...

Абель тут не причем, как впрочем, и любой другой язык.

Все ваши формулы приводятся к жесткой логике гал-ки.

!y = (!a & b)
     # (c & !d)

Читайте даташит на гал-ку и вас ожидает еще много чудных открытий

[dk_spb]

Откуда инверсия перед stSEL.Q ? Или я что-то не понимаю?

Не поможет?
https://www.xilinx.com/support/docum.../ar_feed_q.htm

[AFZ]

Все ваши формулы приводятся к жесткой логике гал-ки.

Угу. А это ничего, что все сигналы в матрицу заводятся как в прямом, так и в инверсном виде и закоммутировать можно любой из них?

Я и спрашиваю, почему сделано так, а не иначе? Я, конечно, в любом месте выражения могу поставить инверсию. Вот доделаю тестер, чтобы не тумблерами щелкать, проверю, что вышло и подправлю так, как мне надо. Просто непонятно, почему этот ispLEVER Classic 1.8.00 сгенерил так, а не иначе?

[dk_spb]

Потому что в случае некоторых микросхем используемый Вами stSEL.FB равен !stSEL.Q. Почему софт делает замену? Не знаю. Может как раз потому что .Q оно всегда однозначно. А вот .FB может быть как равно .Q, так и инверсно.

[OrionExt]

Угу. А это ничего, что все сигналы в матрицу заводятся как в прямом, так и в инверсном виде и закоммутировать можно любой из них?

Какой сигнал (прямой / инверсный) заведется в матрицу зависит от "прожигаемой" перемычки. Вы же не вручную собираетесь их прожигать

Я и спрашиваю, почему сделано так, а не иначе? Я, конечно, в любом месте выражения могу поставить инверсию. Вот доделаю тестер, чтобы не тумблерами щелкать, проверю, что вышло и подправлю так, как мне надо. Просто непонятно, почему этот ispLEVER Classic 1.8.00 сгенерил так, а не иначе?

Мне вот тоже не совсем нравится своеобразное поведение ispLEVER-а в привидении формул. Если вы не планируете по полной использовать весь потенциал языка Абель. Я бы порекомендовал WinCupl.

Проверять (симулировать) свои наработки можно Proteus-е.