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

Цитата:

---

Сообщение от perestoronin

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

---

https://yadi.sk/d/KbtFCdLkM0F8Zg

Цитата:

---

Сообщение от krotan

где скачать 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

Цитата:

---

Сообщение от perestoronin

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

---

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

Цитата:

---

Сообщение от krotan

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

---

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

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

Код:

---

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

---

а он генерит

Код:

---

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

---

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

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

Цитата:

---

Сообщение от AFZ

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

---

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

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

Код:

---

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

---

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

Цитата:

---

Сообщение от AFZ

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

---

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

Цитата:

---

Сообщение от OrionExt

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

---

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

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

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

Цитата:

---

Сообщение от AFZ

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

---

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

Цитата:

---

Сообщение от AFZ

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

---

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

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