Identyfikatory
Warianty tytułu
Column decomposition of multi-output function described by MTBDD oriented to XOR
Języki publikacji
Abstrakty
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.
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.
Wydawca
Rocznik
Tom
Strony
89--94
Opis fizyczny
Bibliogr. 8 poz., rys.
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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-afcb23d5-385c-4cad-88a6-b370a245335e