Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena

• Autorzy: Tkacz J. , Adamski M.

Warianty tytułu

EN

Synthesis of sequential digital circuits by means of using Gentzen reasoning method

• Języki publikacji: PL

Abstrakty

PL

Artykuł jest ilustracją możliwości zastosowania komputerowego wnioskowania symbolicznego w projektowaniu układów cyfrowych, a w tym do rozwiązywania skomplikowanych problemów logicznych. Wykorzystując przykład sieci działań zaczerpnięty z literatury, przedstawiono sposób uzyskiwania uproszczonego opisu bloku kombinacyjnego automatu cyfrowego na podstawie jego specyfikacji regułowej. Metoda polega na zastąpieniu sekwentami tablicy przejść-wyjść automatu i przeprowadzeniu syntezy logicznej metodą komputerowego wnioskowania.

EN

There is presented a new idea of an application of Gentzen logic symbolic reasoning for solving some combinational problems in the sequential circuit design. Behavioral description of combinatorial block of synchronous control unit is given as flowchart. The method is realized by a replacement of the transition table by the sequents, which describe relations between inputs and outputs of combinatorial block of sequential digital circuit in rule based format.

Słowa kluczowe

PL

logika Gentzena; sekwent; wnioskowanie symboliczne; synteza logiczna

EN

Gentzen logic; sequent; symbolic reasoning; logic synthesis

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2009
• Tom: R. 85, nr 7
• Strony: 196--199
• Opis fizyczny: Bibliogr. 12 poz., rys., tab., schem.

Twórcy

autor

Tkacz J.

autor

Adamski M.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki, ul. Podgórna 50, 65-246 Zielona Góra,

Bibliografia

• [1] Adamski M., Projektowanie układów cyfrowych systematyczną metodą strukturalną, Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, (1990)
• [2] Gallier J.H., Logic for computer science, Foundations of Automatic Theorem Proving. Harper & Row, (1986)
• [3] Indrzejczak A., Wprowadzenie do rachunku sekwentów-zagadnienia metodologiczne, zastosowania, publikacja internetowa, http://www.filozof.uni.lodz.pl/prac/ai/Gentzen.pdf
• [4] Indrzejczak A., Hybrydowe systemy dedukcyjne w logikach modalnych, Wydawnictwo Uniwersytetu Łódzkiego, (2006)
• [5] Szajna J., Projektowanie układów cyfrowych z wykorzystaniem programowania logicznego. Wydawnictwo Politechniki Zielonogórskiej, (1996)
• [6] Tkacz J., Adamski M., Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania, Przegląd Telekomunikacyjny, (2008), nr.6, 728-730.
• [7] Adamski M, Barkalov A., Architectural and Sequential Synthesis of Digital Devices, University of Zielona Góra Press, (2006)
• [8] Barkalov A., Węgrzyn M., Design of control units with programmable logic, University of Zielona Góra Press, (2006)
• [9] Bukowiec A., Automata Synthesis System – Sample FSMs, Publikacja internetowa, http://willow.iie.uz.zgora.pl/~abukowie/AS/as.htm
• [10] Łuba T., Rawski M., Tomasiewicz P., Zwierzchowski B., Synteza układów cyfrowych, Praca zbiorowa pod redakcją prof. Tadeusza Łuby, Wydawnictwa Komunikacji i Łączności, Warszawa, (2003)
• [11] Kamionka-Mikuła H., Małysiak H., Pochopień B., Synteza i analiza układów cyfrowych, Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego, Gliwice, (2006)
• [12] Adamski M., Węgrzyn M., Kratkiewitch A., Design of embedded control systems, Springer, (2005), 267