Publication Details
On the cascade realization of sparse logic functions
DVOŘÁK, V.; MIKUŠEK, P. On the cascade realization of sparse logic functions. Euromicro Proceedings. Oulu: IEEE Computer Society, 2011. p. 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.
Mikušek Petr, Ing.
Mikušek Petr, Ing.
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
ISBN
978-0-7695-4494-6
Publisher
IEEE Computer Society
Place
Oulu
BibTeX
@inproceedings{BUT76311,
author="Václav {Dvořák} and Petr {Mikušek}",
title="On the cascade realization of sparse logic functions",
booktitle="Euromicro Proceedings",
year="2011",
pages="21--28",
publisher="IEEE Computer Society",
address="Oulu",
isbn="978-0-7695-4494-6",
url="https://www.fit.vut.cz/research/publication/9562/"
}
Files