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