Publication Details

On the cascade realization of sparse logic functions

DVOŘÁK Václav and MIKUŠEK Petr. On the cascade realization of sparse logic functions. In: Euromicro Proceedings. Oulu: IEEE Computer Society, 2011, pp. 21-28. ISBN 978-0-7695-4494-6.
Czech title
Kaskádní realizace řídkých logických funkcí
Type
conference paper
Language
english
Authors
Dvořák Václav, prof. Ing., DrSc. (DCSY FIT BUT)
Mikušek Petr, Ing. (DCSY FIT BUT)
Keywords

Boolean functions, multi-terminal binary decision diagrams MTBDDs, LUT cascades,  area-time complexity

Abstract

Representation of multiple-output logic functions by Multi-Terminal Binary Decision Diagrams (MTBDDs) is studied for the useful class of sparse logic functions specified by the number of true min-terms. This paper derives upper bounds on the MTBDD width, which determine the size of look-up tables (LUTs) needed for hardware realization of these functions in FPGA logic synthesis. The obtained bounds are generalization of similar known bounds for single-output logic functions. Finally a procedure how to find the optimum mapping of MTBDD to a LUT cascade is presented and illustrated on a set of benchmarks.

Published
2011
Pages
21-28
Proceedings
Euromicro Proceedings
Conference
14th Euromicro conference on Digital System Design, Oulu, FI
ISBN
978-0-7695-4494-6
Publisher
IEEE Computer Society
Place
Oulu, FI
BibTeX 
@INPROCEEDINGS{FITPUB9562,
   author = "V\'{a}clav Dvo\v{r}\'{a}k and Petr Miku\v{s}ek",
   title = "On the cascade realization of sparse logic functions",
   pages = "21--28",
   booktitle = "Euromicro Proceedings",
   year = 2011,
   location = "Oulu, FI",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-4494-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9562"
}
Files
Back to top