Panowie,

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.

Pozdrawiam, Piotr