. "g!avVJZI0M.gUa-SpVeQsziMKQ8=" . "22.459"^^ . "1"^^ . . . "17.608"^^ . . "ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS" . . "17.608"^^ . . "J_imp \u010Dl\u00E1nek v impaktovan\u00E9m \u010Dasopise" . . . "Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability" . "RIV/00216305:26230/08:PU76736!RIV10-MSM-26230___" . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76736!RIV10-MSM-26230___"^^ . . . "22.459"^^ .