. "RIV/00216305:26230/07:PR23020!RIV08-MSM-26230___" . . "RTL benchmark circuit generator" . "26230" . "Cirgen je voln\u011B dostupn\u00FD software pod licenc\u00ED BSD." . . "digital circuits, benchmark circuits, design tool, evolutionary algorithm, testability"@en . . "[46AE7F6ABA35]" . . . "Gener\u00E1tor testovac\u00EDch obvod\u016F na \u00FArovni RTL"@cs . . "P(GA102/07/0850), P(GD102/05/H050), Z(MSM0021630528)" . . "448611" . "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/"@en . . . . . . . . "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/" . "Pe\u010Denka, Tom\u00E1\u0161" . . . . "RTL benchmark circuit generator"@en . "- Cirgen pou\u017E\u00EDv\u00E1 evolu\u010Dn\u00ED algoritmus pro n\u00E1vrh testovac\u00EDho obvodu, kter\u00FD m\u00E1 po\u017Eadovan\u00E9 parametry z hlediska testovatelnosti. * Vstupem programu je specifikace ve form\u00E1tu xml. * V\u00FDstupem programu je syntetizovateln\u00FD popis obvodu v j" . "Kot\u00E1sek, Zden\u011Bk" . . "RIV/00216305:26230/07:PR23020" . "Cirgen je n\u00E1stroj pro automatick\u00E9 generov\u00E1n\u00ED testovac\u00EDch obvod\u016F na \u00FArovni RT. Pou\u017E\u00EDv\u00E1 evolu\u010Dn\u00ED algoritmus pro n\u00E1vrh struktury obvodu na z\u00E1klad\u011B po\u017Eadavk\u016F na testovatelnost, kter\u00E9 zad\u00E1 u\u017Eivatel. Software je spole\u010Dn\u011B se sadou vytvo\u0159en\u00FDch testovac\u00EDch obvod\u016F ke sta\u017Een\u00ED z URL: http://www.fit.vutbr.cz/~pecenka/cirgen/"@cs . "RTL benchmark circuit generator" . "2"^^ . . "Gener\u00E1tor testovac\u00EDch obvod\u016F na \u00FArovni RTL"@cs . . . "Cirgen" . . . "RTL benchmark circuit generator"@en . "2"^^ . "Software je spole\u010Dn\u011B se sadou vytvo\u0159en\u00FDch testovac\u00EDch obvod\u016F ke sta\u017Een\u00ED z URL: http://www.fit.vutbr.cz/~pecenka/cirgen/" . .