<?php if(IsSet($kod) && $kod== "5e7c"):?>
<h1>Aktuální Projekty</h1>
V emailové adrese nahraďte prosím ?at? znakem @ <br />
<ul class="projects">
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/BOOM">BOOM-II - Minimalizátor booleovských funkcí</a>
  		<ul class="sez">
  			<li class="liche">Heuristický minimalizátor dvouúrovňových booleovských funkcí s mnoha vstupy i výstupy
  			</li><li class="sude">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a></li>
  		</ul><br /></li>

  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/BoomBench">BOOM Benchmarks</a>
          <ul class="sez">
  			<li class="liche">Sada umělých benchmarkových obvodů</li>
  			<li class="sude">Dvouúrovňové obvody - PLA</li>
  			<li class="liche">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/PLA_gen">PLA Generator</a>

          <ul class="sez">
  			<li class="liche">Parametrický generátor náhodných booleovských funkcí, ve formátu PLA</li>
  			<li class="sude">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/ColMatch">ColMatch - Nástroj pro syntézu prostředků pro vestavěnou diagnostiku (BIST)</a>

          <ul class="sez">
  			<li class="liche">Test-per-clock mixed-mode BIST</li>
  			<li class="sude">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/DZU">DZU databáze benchmarků</a>

          <ul class="sez">
  			<li class="liche">Databáze standardních benchmarků pro logickou syntézu</li>
  			<li class="sude">Kontakt: <a href="mailto:kubatova?at?fel.cvut.cz">Hana Kubátová</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://cs.felk.cvut.cz/~danek/research/mapper/adaptmap-index.html">ADAPTMAP - adaptivní mapování pro FPGA</a>

          <ul class="sez">
  			<li class="liche">Víceúčelový mapovací algoritmus schopný přizpůsobit své chování uživatelem specifikovaným podmínkám a cílovému FPGA</li>
  			<li class="sude">Kontakt: <a href="mailto:danek?at?fel.cvut.cz">Martin Daněk</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://cs.felk.cvut.cz/~danek/research/place">Časově řízené algoritmy pro fyzický návrh</a>

          <ul class="sez">
  			<li class="liche">Implementace a testování rozmisťovacích a propojovacích algoritmů</li>
  			<li class="sude">Kontakt: <a href="mailto:danek?at?fel.cvut.cz">Martin Daněk</a></li>
  		</ul><br /></li>
  <li><a target="_blank" href="http://www.utia.cas.cz/ZS/home.php?ids=ga2137">Dynamicky rekonfigurovatelná FPGA</a>

          <ul class="sez">
  			<li class="liche">Motodika návrhu FPGA</li>
  			<li class="sude">Návrh obvodů odolných proti poruchám</li>
  			<li class="liche">Implementace v ATMEL</li>
  			<li class="sude">Kontakt: <a href="mailto:danek?at?fel.cvut.cz">Martin Daněk</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/PetriNets/">Petriho sítě</a>

          <ul class="sez">
  			<li class="liche">Implementace Petriho sítí v FPGA</li>
  			<li class="sude">Kontakt: <a href="mailto:kubatova?at?fel.cvut.cz">Hana Kubátová</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/FSM/">Optimální implementace konečných automatů v FPGA</a>

          <ul class="sez">
  			<li class="liche">Zkoumání vlastností a parametrů popisu konečných automatů</li>
  			<li class="sude">Kódování a dekompozice konečných automatů</li>
  			<li class="liche">Kontakt: <a href="mailto:kubatova?at?fel.cvut.cz">Hana Kubátová</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/ECDSA/">Hardware pro aritmetiku v <i>GF</i>(2<i><sup>m</sup></i>)</a>

          <ul class="sez">
  			<li class="liche">Vývoj aritmetických jednotek škálovatelných podle daného způsobu použití</li>
  			<li class="sude">Interakce mezi algoritmy a architekturou FPGA</li>
  			<li class="liche">Aplikace – systémy pro vestavěnou kryptografii</li>
  			<li class="sude">Kontakt: <a href="mailto:schmidt?at?fel.cvut.cz">Jan Schmidt</a></li>
  		</ul><br /></li>
  <li>Architektury procesorů

          <ul class="sez">
  			<li class="liche">Procesor pro výúkové účely – DOP</li>
  			<li class="sude">Hardwarová podpora garbage collection</li>
  			<li class="liche">Rekonfigurovatelné mikroprogramované řadiče</li>
  			<li class="sude">Kontakt: <a href="mailto:becvarm?at?fel.cvut.cz">Miloš Bečvář</a></li>
  		</ul><br /></li>
  <li>Komplexní výukový EDA systém

          <ul class="sez">
  			<li class="liche">Experimentální software pro návrh elektronických obvodů</li>
  			<li class="sude">Pro testování nových algoritmů</li>
  			<li class="liche">Jednoduše použitelný</li>
  			<li class="sude">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a>, <a href="mailto:schmidt?at?fel.cvut.cz">Jan Schmidt</a></li>
  		</ul><br /></li>
  <li> <a target="_blank" href="http://service.felk.cvut.cz/vlsi/prj/Atalanta-M/">Atalanta-M</a>

          <ul class="sez">
  			<li class="liche">Modifikovaná ATALANTA z VirginiaTech</li>
  			<li class="sude">Spojení ATPG a simulátoru poruch</li>
  			<li class="liche">Rozšířený interface</li>
  			<li class="sude">Kontakt: <a href="mailto:fiserp?at?fel.cvut.cz">Petr Fišer</a></li>
  		</ul><br /></li>
</ul>

<br />
<hr />
<br />
<h1>Hlavní předešlé projekty</h1>
<ul class="sez">
	<li class="liche"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g10440.html">Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a> (GA 102/01/1531, 2001-2003)</li>
	<li class="sude"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g10441.html">Metody optimalizace vestavěných diagnostických prostředků v integrovaných obvodech</a> (GA 102/01/0566, 2001-2003)</li>
	<li class="liche"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g9872.html">Injekce poruch pro časově spouštěnou architekturu</a> (OKIX IST-1999-10748, 2000-2002)</li>
	<li class="sude"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g9273.html">Výzkum metod urychlování výpočtů rekonfigurovatelným technickým vybavením</a> (GA 102/99/1017, 1999-2001)</li>
	<li class="liche"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g8907.html">Metodika a prostředky pro analýzu testovatelnosti digitálních obvodů</a> (GA 102/98/1463, 1998-2000)</li>
	<li class="sude"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g8906.html">Výzkum a aplikace vestavěných diagnostických prostředků v integrovaných obvodech</a> (GA 102/98/1003, 1998-2000)</li>
	<li class="liche"><a target="_blank" href="http://cs.felk.cvut.cz/webis/research_/g8176.html">COPRODES - Systém CAD pro automatický návrh komunikačních procesorů na bázi FPGA</a> (<a target="_blank" href="http://www.cordis.lu/esprit/src/intclink.htm">EU Copernicus</a>, 1995-1998)</li>
</ul>


<h1>Financování</h1>
<h2>Granty</h2>

<ul class="sez">
	<li class="liche"><a href="http://cs.felk.cvut.cz/webis/research_/g16423.html" target="_blank">Inovace laboratoře pro výuku návrhu číslicových obvodů na systémové úrovni </a> (FRVŠ, 2005)</li>
	<li class="sude"><a href="http://cs.felk.cvut.cz/webis/research_/g17296.html" target="_blank">Použití spekulativních výpočtů k urychlování aritmetiky</a> (CVUT, 2005)</li>
	<li class="liche"><a href="http://cs.felk.cvut.cz/webis/research_/g15261.html" target="_blank"> Moderní metody syntézy číslicových systémů</a> (GA102/04/0737, 2004-2006)</li>
	<li class="sude"><a href="http://cs.felk.cvut.cz/webis/research_/g15262.html" target="_blank">Návrh vysoce spolehlivých řídících systémů pomocí dynamicky rekonfigurovatelných obvodů FPGA</a> (GA102/04/2137, 2004-2006)</li>
</ul>

<h1>Spolupráce s ostatními institucemi</h1>
<ul class="sez">
  <li class="liche"><a href="http://www.utia.cas.cz" target="_blank">UTIA</a>, <a href="http://www.cas.cz" target="_blank">Akademie věd České republiky</a></li>
  <li class="sude"><a href="http://www.s3group.cz" target="_blank">Silicon and Software Systems ČR</a></li>
  <li class="liche"><a href="http://www.csm.uwe.ac.uk/icsc" target="_blank">ICSC</a>, <a href="http://www.uwe.ac.uk" target="_blank">University of the West of England</a> </li>
  <li class="sude"><a href="http://www.asicentrum.cz" target="_blank">ASICentrum</a> </li>
  <li class="liche"><a href="http://www.fit.vutbr.cz/units/UPSY" target="_blank">UPSY</a>, <a href="http://www.fit.vutbr.cz" target="_blank">Fakulta informačních technologií</a>, <a href="http://www.vutbr.cz" target="_blank">Brno University of Technology</a> </li>
  <li class="sude"><a href="http://www.fm.vslib.cz/htm/naviga_eng.htm" target="_blank">Fakulta mechatroniky</a>, <a href="http://www.vslib.cz" target="_blank">Technická univerzita v Liberci</a></li>
  <li class="liche"><a href="http://www.zcu.cz/index.html" target="_blank">Západočeská univerzita v Plzni</a> </li>
</ul>
<br />

<?php endif;?>

