Dekompozycja kolumnowa zespołu funkcji opisanego za pomocą MTBDD ukierunkowana na użycie elementu XOR

• Autorzy: Białas M. , Kania D.

Identyfikatory

DOI

10.15199/13.2015.10.18

Warianty tytułu

EN

Column decomposition of multi-output function described by MTBDD oriented to XOR

• Języki publikacji: PL

Abstrakty

PL

Elementem składowym układów CPLD są bloki logiczne typu PAL. W blokach tych występuje element XOR, który umożliwia efektywne wykorzystanie zasobów struktury programowalnej. W artykule przedstawiono oryginalną metodę dekompozycji zespołu funkcji opisanego za pomocą MTBDD ukierunkowaną na wykorzystanie elementu XOR. Istota dekompozycji polega na modyfikacji pierwotnej postaci diagramu MTBDD polegającej na wprowadzeniu atrybutów negacji w obszarze krawędzi znajdujących się na poziomie linii cięcia diagramu. Pozwala to na ograniczenie liczby węzłów odciętych, co prowadzi do zmniejszenia liczby wyjść bloku związanego.

EN

Most CPLD’s PAL type macrocells include XOR element which is able to use programming resources more efficiently. This paper shows the original decomposition of multi-output functions described by MTBDD oriented to XOR element. The idea of decomposition is based on the modification of the initial MTBDD and the supplementation of negation attribute within the area of edges leveled in the cutting area line. It enables to reduce the number of cut nodes and bound set outputs. The negation of suitable edges related to the negation attribute is realized in the proposed solution with the use of XOR element.

Słowa kluczowe

PL

synteza logiczna; dekompozycja; odwzorowanie technologiczne; MTBDD; atrybut negacji

EN

logic synthesis; technology mapping; decomposition; MTBDD; negative edges

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Elektronika : konstrukcje, technologie, zastosowania
• Rocznik: 2015
• Tom: Vol. 56, nr 10
• Strony: 89--94
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Białas M.

• Delphi Poland S.A., Kraków

autor

Kania D.

• Politechnika Śląska, Instytut Elektroniki, Gliwice

Bibliografia

• [1] Akers S.B., Binary Decision Diagrams, IEEE Transactions on Computers, Vol. C-27, No.6, June 1978, pp. 509–516.
• [2] Bryant R., Graph Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, Vol. C-35, No.8, 1986, pp. 677–691.
• [3] Kania D., Synteza logiczna przeznaczona dla matrycowych struktur programowalnych typu PAL, Zeszyty Naukowe Politechniki Śląskiej. Gliwice : Wydawnictwo Politechniki Śląskiej, 2004.
• [4] Kania D., Układy Logiki Programowalnej. Podstawy syntezy i sposoby odwzorowania technologicznego. Warszawa, PWN, 2012.
• [5] Kania D. i Grabiec W., Dekompozycja zespołu funkcji wykorzystująca elementy XOR. PAK vol. 54, nr 8. 2008, ss. 502–504.
• [6] Kania D., Sposób kodowania stanów wewnętrznych automatów sekwencyjnych realizowanych w strukturach programowalnych ze stałym (H, L) lub programowalnym poziomem aktywności wyjścia, Patent NR 194827.
• [7] Minato S., Binary Decision Diagrams and Applications for VLSI CAD, Kluwer Academic Publishers, 1996.
• [8] Opara A., Dekompozycyjne metody syntezy układów kombinacyjnych wykorzystujące binarne diagramy decyzyjne, Rozprawa doktorska, Gliwice, 2008.
•