Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275

Publikacje

[700] Artykuł:

Symbolic Functional Decomposition of Multivalued Functions

(Dekompozycja symboliczna funkcji wielowartościowych.)
Czasopismo: Journal of Multiple-Valued Logic and Soft Computing Tom: 24, Zeszyt: 5-6, Strony: 425-452
ISSN: 1542-3980
Wydawca: OLD CITY PUBLISHING INC, 628 NORTH 2ND ST, PHILADELPHIA, PA 19123 USA
Opublikowano: 2015
Liczba arkuszy wydawniczych: 1.50

Autorzy / Redaktorzy / Twórcy

Imię i nazwisko	Wydział	Katedra	Procent udziału	Liczba punktów
Roman Stanisław Deniziak	WEAiI	Katedra Systemów Informatycznych *	50	10.00
Mariusz Wiśniewski	WEAiI	Katedra Systemów Informatycznych *	50	10.00

Grupa MNiSW: Publikacja w czasopismach wymienionych w wykazie ministra MNiSzW (część A)
Punkty MNiSW: 20
Klasyfikacja Web of Science: Article

Pełny tekst

Web of Science

Słowa kluczowe:

synteza funkcjonalna synteza logiczna dekompozycja FPGA funkcje wielowartościowe algebra nakryć

Keywords:

functional synthesis logic synthesis decomposition FPGA multivalued functions blanket algebra cubes

Streszczenie:

Artykuł prezentuje zagadnienia dekompozycji symbolicznej z zastosowaniem algebry nakryć. W pracy przedstawiono rozszerzenia teorii nakryć, w szczególności w zakresie funkcji wielowartościowych, kodowania symbolicznego oraz dekompozycji funkcji symbolicznych. W dalszej części zdefiniowano proces dekompozycji wraz z jednoczesnym kodowaniem wartości symbolicznych. W pracy przedstawiono również pewne obserwacje i własności funkcji wielowartościowych, mające praktyczne zastosowanie. Prezentowane teorie zostały wykorzystane w praktycznych rozwiązaniach, służąc jako aparat matematyczny w trakcie opracowywania wydajnych algorytmów dekompozycji symbolicznej funkcji wielowartościowych. Zastosowanie tych algorytmów podczas syntezy tego typu funkcji z przeznaczeniem do implementacji w układach FPGA posiadających komórki LUT pozwala na znaczną redukcję utylizacji zasobów jak i liczby poziomów logicznych funkcji po dekompozycji.

Abstract:

This paper presents the symbolic functional decomposition, specified in terms of the blanket algebra. We introduce certain extensions to the existing theory of blankets, especially concerning multivalued functions, symbolic encoding and functional decomposition. Next, we define the process of integrated encoding and functional decomposition, using the blanket algebra. We also present some observations and features of blankets in the domain of multivalued functions, that are very useful in practice. The theory was successfully used as a mathematical tool in developing efficient algorithms of functional decomposition for multivalued logical functions. Applying these algorithms during the logic synthesis for LUT-based FPGA implementations, allows significant reduction of the resource utilization and depth of logic levels.

POWRÓT

Strona główna > Publikacje