<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-016-14-1826</article-id>
      <article-id pub-id-type="publisher-id">29734</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>B.1.1 - Control Design Styles</subject>
          <subject>B.1.4 - Microprogram Design Aids</subject>
          <subject>B.6.1 - Design Styles</subject>
          <subject>B.6.3 - Design Aids</subject>
          <subject>C.3 - SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS</subject>
          <subject>C.5.4 - VLSI Systems</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Design of Arbiters and Allocators Based on Multi-Terminal BDDs</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Dvořák</surname>
            <given-names>Václav</given-names>
          </name>
          <email xlink:type="simple">dvorak@fit.vutbr.cz</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Mikušek</surname>
            <given-names>Petr</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Brno University of Technology, , Czech Republic</addr-line>
        <institution>Brno University of Technology</institution>
        <country>Czech Republic</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Brno University of Technology, Brno, Czech Republic</addr-line>
        <institution>Brno University of Technology</institution>
        <addr-line content-type="city">Brno</addr-line>
        <country>Czech Republic</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Václav Dvořák (<email xlink:type="simple">dvorak@fit.vutbr.cz</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2010</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>07</month>
        <year>2010</year>
      </pub-date>
      <volume>16</volume>
      <issue>14</issue>
      <fpage>1826</fpage>
      <lpage>1852</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/0BAA0D04-15AC-521C-A8DF-CAEF17CBD7A7">0BAA0D04-15AC-521C-A8DF-CAEF17CBD7A7</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001311">7001311</uri>
      <permissions>
        <copyright-statement>Václav Dvořák, Petr Mikušek</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways, from hardware to firmware to software. The paper presents a new computer-aided technique that can produce representations of arbiters/allocators in a form of a Multi-Terminal Binary Decision Diagram (MTBDD) with close to minimum cost and width. This diagram can then serve as a prototype for a cascade of multiple-output look-up tables (LUTs) that implements the given function, or for efficient firmware implementation. The technique makes use of iterative decomposition of integer functions of Boolean variables and a variable-ordering heuristic to order variables. The LUT cascades lead directly to the pipelined design, simplify wiring and testing and can compete with the traditional FPGA design in performance and with PLA design in chip area.</p>
      </abstract>
    </article-meta>
  </front>
</article>
