-
Data: 2016-01-06 08:11:29
Temat: Re: Automat skończony do bramek
Od: k...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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
Następne wpisy z tego wątku
- 06.01.16 11:22 s...@g...com
- 09.01.16 10:11 J.F.
- 09.01.16 10:59 Piotr Wyderski
- 09.01.16 11:24 J.F.
- 09.01.16 14:53 Piotr Wyderski
Najnowsze wątki z tej grupy
- Akumulatory VRLA
- ładowarka zmarła
- Podstawa bezpiecznikowa jako rozłącznik DC
- Napięcie akumulatora wyłączające UPS / jakie nowe akumulatory do UPS?
- nawigacja satelitarna
- SmartLife/Tuya i osuszanie -- mordowanie z zimną krwią...
- Głośnik piezoelektryczny
- Mala autonomiczna kamera monitoringu
- czas na emeryturę i EB
- Generowanie sumy kontrolnej z fragmentu pliku bin
- Re: Mala autonomiczna kamera monitoringu
- HDMI
- Re: Mala autonomiczna kamera monitoringu
- Kamera monitoringu z kartą SIM
- Re: Kamera monitoringu z kartą SIM
Najnowsze wątki
- 2024-07-02 Realme 7 Na co zmienić?
- 2024-06-27 Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-07-02 znalazłem samochód ;)
- 2024-07-02 Pierwszeństwo łamane
- 2024-07-02 zamek
- 2024-07-02 Akumulatory VRLA
- 2024-07-03 Białystok => Inżynier DevOps Conexa First (Kontraktor) <=
- 2024-07-03 MĂźnchen => Test Development Engineer (m/w/d) <=
- 2024-07-03 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-07-03 Warszawa => Programista Full Stack (.Net Core) <=
- 2024-07-02 Kraków => Spedytor międzynarodowy <=
- 2024-07-02 Poznań => Senior React Native Developer <=
- 2024-07-02 Rzeszów => Frontend Developer (React) <=
- 2024-07-02 Warszawa => Fullastack (Java) Developer <=
- 2024-07-02 reparacje