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.

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/"
}