<?php if(IsSet($kod) && $kod== "5e7c"):?>
<h1 class="cent">Download</h1>
<br />
<h2>Logic Synthesis</h2>
<ul>
     <li><b>ESPRESSO v2.3</b> - Two-level Boolean minimizer from
              Berkeley
          <ul class="sez">
          <li class="liche"><a target="_blank" href="espresso_dos.zip">Windows
          Executable</a></li>
          <li class="sude"><a target="_blank" href="espresso.zip">Source</a></li>
          </ul>

     </li>
     <li><b>SIS 1.2</b> - logic synthesis package from Berkeley
          <ul class="sez">
          <li class="liche"><a target="_blank" href="sis_DOS.zip">Windows
          Executable</a></li><li class="sude">
          <a target="_blank" href="sis-1.2.tar.Z">Source</a></li>
          </ul>
     </li>
     <li><b>MVSIS 2.0</b> - multivalued logic synthesis package
           from Berkeley
          <ul class="sez">
          <li class="liche"><a target="_blank" href="mvsis-win.zip">Windows</a>
          </li><li class="sude">
          <a target="_blank" href="mvsis-linux.zip">Linux</a></li>
          <li class="liche"><a target="_blank" href="mvsis.zip">Source</a></li>
          </ul>
     </li>
     <li><b>BOOM</b> - two-level Boolean minimizer
          <ul class="sez"><li class="liche">
          <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/BOOM">
          Link to a webpage</a></li>
          </ul>
     </li>
     <li><b>BDD 2.4</b> - Binary Decision Diagram (BDD) Package
     from Berkeley
          <ul class="sez"><li class="liche">
          <a target="_blank" href="bdd.zip">Source</a></li>
          </ul>
     </li>
     <li><b>CUDD 2.4.0</b> - Binary Decision Diagram (BDD)
     Package by Fabio Somenzi
          <ul class="sez"><li class="liche">
          <a target="_blank" href="cudd-2.4.0.tar.gz">Source</a></li>
          </ul>
     </li>
     <li><b>A Collection of Digital Design Benchmarks</b>
          <ul class="sez"><li class="liche">
          <a target="_blank" href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">Original webpage</a></li>
          <li class="sude"><a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/Benchmarks">Download</a></li>
          </ul>
     </li>
</ul>
<h2>Diagnostics</h2>

<ul>
     <li><b>Atalanta</b> - ATPG tool
          <ul class="sez"><li class="liche">
          <a target="_blank" href="atalanta.zip">Windows exacutable</a></li>
          <li class="sude"><a target="_blank" href="atalanta.tar">source</a>
          </li>
          </ul>
     </li>
     <li><b>Atalanta-M</b> - Modified Atalanta. ATPG and fault
     simulator
          <ul class="sez"><li class="liche">
          <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/Atalanta-M">Link to a webpage</a></li>
          </ul>
     </li>
     <li><b>FSIM</b> - Fault simulator
          <ul class="sez"><li class="liche"><a target="_blank" href="fsim.zip">Windows executable</a> (needs "cygwin1.dll" to run)</li>
          <li class="sude">
          <a target="_blank" href="fsim_src.zip">Source</a></li>
          </ul>
     </li>
     <li><b>HOPE</b> - Better fault simulator
          <ul class="sez"><li class="liche"><a target="_blank" href="hope.zip">Windows executable</a> (needs "cygwin1.dll" to run)</li>
          <li class="sude">
          <a target="_blank" href="hope_src.zip">Source</a></li>
          </ul>
     </li>
     <li><b>MILEF</b> - ATPG tool
          <ul class="sez"><li class="liche">
          <a target="_blank" href="milef_c.zip">Windows executable, procuces compacted test set</a> (needs "cygwin1.dll" to run)</li>
          <li class="sude"><a target="_blank" href="milef_dc.zip">Windows executable, procuces test with DCs</a> (needs "cygwin1.dll" to run)</li><li class="liche"><a target="_blank" href="milef.tgz">Source</a></li>
          </ul>
     </li>
</ul>
<br />
<h2>Other</h2>

<ul>
     <li><b>Logic Specification Formats Convertor 1.2</b> (Bench, Edif, Blif, Cir)
          <ul class="sez"><li class="liche"><a target="_blank" href="Convertor12.zip">Windows executable</a></li>
          </ul>
     </li>
     <li><b>Cygwin1.dll</b> - CygWin library
          <ul class="sez"><li class="liche"><a target="_blank" href="cygwin1.zip">Cygwin1.dll</a></li>
          </ul>
     </li>
     <li><b>Borland C++ 5.6 Compiler for Win32</b>
          <ul class="sez"><li class="liche"><a target="_blank" href="BCC32.exe">
          Download</a></li>
          </ul>
     </li>
</ul>


<?php endif;?>
