All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

A Prudent Approach to Collection of Examples for Logic Synthesis and Optimization

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F18%3A00319199" target="_blank" >RIV/68407700:21240/18:00319199 - isvavai.cz</a>

  • Result on the web

    <a href="https://www.cambridgescholars.com/further-improvements-in-the-boolean-domain" target="_blank" >https://www.cambridgescholars.com/further-improvements-in-the-boolean-domain</a>

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    A Prudent Approach to Collection of Examples for Logic Synthesis and Optimization

  • Original language description

    We present experimental evidence that logic synthesis procedure, especially those based on resynthesis, do net perform well when the original (designer-given) structure of input description is lost. As such performance has not been observed otherwise, we must conclude that such operation is outside of the intended range, and that synthesis examples with their original structure lost are not valid for evaluation of synthesis procedures. We also outline other causes that may render an example invalid. We, however, document that such losses did occur with circuit examples circulating in the logic synthesis community. Therefore, we have to suggest what constitutes prudence in examples collection.

  • Czech name

  • Czech description

Classification

  • Type

    C - Chapter in a specialist book

  • CEP classification

  • OECD FORD branch

    20206 - Computer hardware and architecture

Result continuities

  • Project

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2018

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Book/collection name

    Further Improvements in the Boolean Domain

  • ISBN

    978-1-5275-0371-7

  • Number of pages of the result

    22

  • Pages from-to

    280-301

  • Number of pages of the book

    536

  • Publisher name

    Cambridge Scholars Publishing

  • Place of publication

    Newcastle upon Tyne

  • UT code for WoS chapter