Available Tools




TELS/MALS, Logic synthesis tools for threshold and majority logic synthesis
sis-tels-mals-1.2.tar.gz

RMRLS, Reversible logic synthesis tool
relos0.2.tar.gz

TGE, Task graph extractor
tge_zip.tgz

FinCANON, PVT-variation aware FinFET cache/NoC modeling tool
FinCANON_20131119.tar.gz

ROBESim, Retrofit-oriented building energy simulation tool
robesim.tar.gz

RMDDS, Tool for Reed-Muller decision diagram synthesis of reversible circuits,

FTQLS, Fault-tolerant quantum logic synthesis tool,