. . "g!avVJZI0M.gUa-SpVeQsziMKQ8=" . "Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability" . "ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS" . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "22.459"^^ . . "17.608"^^ . . "17.608"^^ . . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76736!RIV10-MSM-26230___"^^ . . . . . . . . "1"^^ . . "RIV/00216305:26230/08:PU76736!RIV10-MSM-26230___" . . . "22.459"^^ .