"153 ; 158" . . . "RIV/68407700:21230/05:03109789" . "552450" . "backtrace; backtrack; hardware; test generation"@en . "Odvozov\u00E1n\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho logick\u00E9ho obvodu na z\u00E1klad\u011B znalosti v\u00FDstupn\u00EDch vektor\u016F a dal\u0161\u00EDch omezuj\u00EDc\u00EDch podm\u00EDnek. N\u00E1vrh do hardwaru s vyu\u017Eit\u00EDm paraleln\u00EDho zpracov\u00E1n\u00ED. Transforma\u010Dn\u00ED metoda pro p\u0159evod libovoln\u00E9 kombina\u010Dn\u00ED logiky, struktura hardwarov\u00E9 v\u00FDpo\u010Detn\u00ED jednotky."@cs . "Zp\u011Btn\u00E9 odvozen\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho obvodu ze znalosti v\u00FDstupn\u00EDch vektor\u016F pomoc\u00ED HW" . . "80-01-03298-1" . "Zp\u011Btn\u00E9 odvozen\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho obvodu ze znalosti v\u00FDstupn\u00EDch vektor\u016F pomoc\u00ED HW"@cs . . "21230" . "Odvozov\u00E1n\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho logick\u00E9ho obvodu na z\u00E1klad\u011B znalosti v\u00FDstupn\u00EDch vektor\u016F a dal\u0161\u00EDch omezuj\u00EDc\u00EDch podm\u00EDnek. N\u00E1vrh do hardwaru s vyu\u017Eit\u00EDm paraleln\u00EDho zpracov\u00E1n\u00ED. Transforma\u010Dn\u00ED metoda pro p\u0159evod libovoln\u00E9 kombina\u010Dn\u00ED logiky, struktura hardwarov\u00E9 v\u00FDpo\u010Detn\u00ED jednotky." . . . . "Backwards Derivation of Input Vectors of a Combinational Circuit on Output Vectors Knowledge Using HW"@en . "L\u00E1zn\u011B Sedmihorky" . "Nov\u00E1k, Ond\u0159ej" . "2005-09-21+02:00"^^ . . "Derivation of input vectors of a combinational logic circuit on the basis of output vectors knowledge and other constraints. A design in hardware with using a parallel processing. A transformation method for any combinational logic transformation, a structure of the hardware computation unit."@en . "[86CBDF3B2435]" . "Praha" . . "\u010Cesk\u00E9 vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Praze. Fakulta elektrotechnick\u00E1. Katedra po\u010D\u00EDta\u010D\u016F" . "Zp\u011Btn\u00E9 odvozen\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho obvodu ze znalosti v\u00FDstupn\u00EDch vektor\u016F pomoc\u00ED HW" . . "Po\u010D\u00EDta\u010Dov\u00E9 architektury & diagnostika" . "P(GA102/04/2137), Z(MSM6840770014)" . . "2"^^ . . "2"^^ . "Backwards Derivation of Input Vectors of a Combinational Circuit on Output Vectors Knowledge Using HW"@en . "Zp\u011Btn\u00E9 odvozen\u00ED vstupn\u00EDch vektor\u016F kombina\u010Dn\u00EDho obvodu ze znalosti v\u00FDstupn\u00EDch vektor\u016F pomoc\u00ED HW"@cs . . . . "RIV/68407700:21230/05:03109789!RIV06-GA0-21230___" . . . . "6"^^ . . "\u0160\u0165\u00E1va, Martin" . .