Detail publikace
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
Mikušek Petr, Ing.
Multi-Terminal BDDs, LUT cascades, iterative disjunctive decomposition, arbiter circuits, allocators.
Přidělení jednoho (více) sdíleného prostředku (prostředků) několika žadatelům je funkcí arbitrů (alokátorů). Tato třída rozhodovacích modulů se dá implementovat řadou způsobů, od hardware přes firmware až k software. Článek předkládá novou techniku která může s pomocí počítače generovat reprezentaci arbitrů či alokátorů ve formě multi-termínálního binárního rozhodovacího diagramu (MTBDD) s cenou a šířkou blízkou minimu. Tento diagram pak může posloužit jako prototyp kaskády více-bitových náhledových tabulek (LUT) která implementuje danou funkci, nebo pro účinnou implementaci ve firmware. Popsaná technika používá iterativní dekompozici celočíselných funkcí boolovských proměnných a heuristiku pro získání pořadí proměnných MTBDD. Kaskády LUT vedou přímo na řetězenou linku, zjednodušují propojení a testování a mohou soupeřit s tradiční syntézou na FPGA ve výkonnosti a s návrhem na PLA ve velikosti plochy na čipu.
@article{BUT50516,
author="Václav {Dvořák} and Petr {Mikušek}",
title="Design of Arbiters and Allocators Based on Multi-Terminal BDDs",
journal="Journal of Universal Computer Science",
year="2010",
volume="16",
number="14",
pages="1826--1852",
issn="0948-6968",
url="https://www.fit.vut.cz/research/publication/9348/"
}