W dniu wtorek, 5 stycznia 2016 12:25:41 UTC+1 użytkownik Piotr Wyderski napisał:
> czy znacie jakiś program, który mając na wejściu definicję
> układu sekwencyjnego w jakiejś postaci (VHDL, Verilog,
> graf przejścia stanów, tablicę wartości zbioru funkcji
> logicznyc -- cokolwiek sensownego) znajdzie jego minimalną
> reprezentację dla zadanego rodzaju przerzutników, np. JK?
> Umiem to zrobić ręcznie, umiem samemu napisać, ale jeśli
> jest gotowiec, to szkoda zachodu.

A konkretnie do układów sekwencyjnych był kiedyś SIS, z oczywiście
bardzo ezoterycznym tekstowym interfejsem użytkownika, ale z tego
co widzę to ludzie z Berkeley przestali go utrzymywać i zrobili
coś nowego, co się nazywa ABC:
http://www.eecs.berkeley.edu/~alanmi/abc/

Za próby użycia tego nie odpowiadam, ale pewnie prościej jest
się tym zabawić, niż próbować kompilować SISa na współczesnych
kompilatorach.

Ogólnie w przypadku SISa można było wczytać w najróżniejszych
postaciach automat i uzyskać jego zminimalizowaną reprezentację
z użyciem w zasadzie dowolnego zadanego (również samodzielnie
stworzonego) zbioru elementów.

Pozdrawiam,
--
Karol Piotrowski