XorDecomp: a XOR decomposition tool

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F12%3A00204683" target="_blank" >RIV/68407700:21240/12:00204683 - isvavai.cz</a>

Result on the web

<a href="http://ddd.fit.cvut.cz/prj/XorDecomp/" target="_blank" >http://ddd.fit.cvut.cz/prj/XorDecomp/</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

XorDecomp: a XOR decomposition tool

Original language description

XorDecomp is a tool performing AND-XOR bi-decomposition of logic functions. The input is in the PLA format (SOP - truth table), the output is a multi-level circuit decription in the BLIF format. Main Features: AND-XOR bi-decomposition is performed XOR decomposition is emphasized Very efficient for XOR-intensive functions Heuristic, randomized algorithm Different runs (with different random number generator seeds) may produce different results Compatible with SIS, MVSIS, ABC (the input format is PLA, theoutput format is BLIF)

Czech name

—

Czech description

—

Type

R - Software

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2012

Confidentiality

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

Internal product ID

XorDecomp

Technical parameters

cca. 1500 řádek C++ kódu

Economical parameters

cca. 10000 Kč

Owner IČO

68407700

Owner name

ČVUT FIT