Notice: Undefined index: linkPowrot in C:\wwwroot\wwwroot\publikacje\publikacje.php on line 1275
[75730] Artykuł: BMB synthesis of binary functions using symbolic functional decomposition for LUT-based FPGAsCzasopismo: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING Tom: 120, Zeszyt: 10, Strony: 16-22ISSN: 0743-7315 Wydawca: ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495 USA Opublikowano: 2018 Liczba arkuszy wydawniczych: 0.50 Autorzy / Redaktorzy / Twórcy Grupa MNiSW: Publikacja w czasopismach wymienionych w wykazie ministra MNiSzW (część A) Punkty MNiSW: 30 Klasyfikacja Web of Science: Article DOI Web of Science Keywords: Multiple-valued variable  Multiple-valued network  Symbolic decomposition  Logic synthesis  CAD  LUT  FPGA  |
The paper presents the BMB methodology for synthesis of binary functions, which can be applied to synthesis of functions implemented in LUT-based FPGAs. The BMB synthesis uses the functional decomposition based on symbolic decomposition and symbolic encoding. The methodology uses two optimization methods. First, the symbolic decomposition is used to build the multiple-valued network of functions. Second, the symbolic encoding is used to find an encoding that simplifies the decomposition. The symbolic optimization overpasses limits of the existing decomposition methods, where optimal encoding for LUT-based implementations is not possible. Simultaneously, the method can be used in the synthesis of high-level architecture where dependencies can be described using symbolic values. Experimental results showed that the presented methodology allows significant reduction of the cost of the FPGA implementation. (C) 2018 Elsevier Inc. All rights reserved.