Detail výsledku
RTL benchmark circuit generator
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Cirgen is RTL (Register Transfer level) benchmark circuit generator. It utilizes the evolutionary algorithm to design a structure of a benchmark circuit automatically according to the testability requirements specified by the user. Cirgen can be downloaded from http://www.fit.vutbr.cz/~pecenka/cirgen/
digital circuits, benchmark circuits, design tool, evolutionary algorithm, testability
Software je společně se sadou vytvořených testovacích obvodů ke stažení z URL: http://www.fit.vutbr.cz/~pecenka/cirgen/
Licence k volně dostupnému a použitelnému softwaru
Vysoké učení technické v Brně, Fakulta informačních technologií IČ 00216305, Božetěchova 1/2, 612 66 Brno (dále jen FIT VUT) je oprávněno poskytovat licenci k softwarovému produktu přístupnému na stránce "Autorizovaného software" http://www.fit.vutbr.cz/research/prod (dále jen softwarový produkt). Každý, kdo použije softwarový produkt, stává se uživatelem. Uživatel se zavazuje dodržovat licenční podmínky.
Prvním použitím softwarového produktu uživatel vyjádřil souhlas s následujícími licenčními podmínkami:
Softwarový produkt:
- je možné používat volně při dodržování licenčních podmínek; uživatel je povinen zabezpečit dodržování licenčních podmínek případnou třetí osobou, která má přístup k jím užívanému softwarovému produktu,
- není možné dále prodávat, pronajímat a převádět získaná oprávnění,
- není možné zahrnout do jiného softwarového produktu a šířit produkty takto vzniklé, odvozené od původního softwarového produktu, případně jakkoli jinak zasahovat do vnitřní struktury bez souhlasu FIT VUT,
- ze softwarového produktu ani žádných jeho součástí se nesmí jakýmkoli způsobem vyjímat informace o FIT VUT,
- je zakázáno zpětně analyzovat, dekompilovat nebo jinak upravovat.
V případě porušení tohoto licenčního ujednání ze strany uživatele končí platnost tohoto licenčního ujednání a uživatel je povinen přestat softwarový produkt dále jakkoli používat.
Návrh a obvodová realizace zařízení pro automatické generování patentovatelných invencí, GAČR, Standardní projekty, GA102/07/0850, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení