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
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