. . "Uplatn\u011Bn\u00ED form\u00E1ln\u00EDch postup\u016F p\u0159i n\u00E1vrhu \u0159adi\u010De testu \u010D\u00EDslicov\u00E9ho obvodu" . "The paper describes the test controller design for RTL = Register Transfer Level. The problem of the test controller function modelling with the timed automaton is discused, the parallel transfer of diagnostic data approach is explained and finally the methodology of the test resource selection is demonstrated."@en . . . "P\u0159\u00EDsp\u011Bvek se zab\u00FDv\u00E1 procesem n\u00E1vrhu \u0159adi\u010De testu na \u00FArovni meziregistrov\u00FDch p\u0159enos\u016F (anglicky RTL = Register Transfer Level). Je v n\u00ED diskutov\u00E1na problematika modelov\u00E1n\u00ED \u010Dinnosti \u0159adi\u010De testu pomoc\u00ED  \u010Dasovan\u00E9ho automatu, d\u00E1le problematika paraleln\u00EDho p\u0159enosu diagnostick\u00FDch dat k testovan\u00FDm prvk\u016Fm a nakonec metodika v\u00FDb\u011Bru registr\u016F, kter\u00E9 se budou pod\u00EDlet na aplikaci testu prvk\u016F." . . "RIV/00216305:26230/04:PU49232" . "Uplatn\u011Bn\u00ED form\u00E1ln\u00EDch postup\u016F p\u0159i n\u00E1vrhu \u0159adi\u010De testu \u010D\u00EDslicov\u00E9ho obvodu"@cs . "testability, test, test controller, register transfer level, parallel tests, Hasse diagram"@en . "Mika, Daniel" . "6"^^ . . "591519" . "Uplatn\u011Bn\u00ED form\u00E1ln\u00EDch postup\u016F p\u0159i n\u00E1vrhu \u0159adi\u010De testu \u010D\u00EDslicov\u00E9ho obvodu" . . . "Ka\u0161tie\u013E Moravany nad V\u00E1hom" . "Bratislava" . "[08DB22373AD5]" . "2004-09-15+02:00"^^ . . "RIV/00216305:26230/04:PU49232!RIV/2005/GA0/262305/N" . . "144-149" . . "P\u0159\u00EDsp\u011Bvek se zab\u00FDv\u00E1 procesem n\u00E1vrhu \u0159adi\u010De testu na \u00FArovni meziregistrov\u00FDch p\u0159enos\u016F (anglicky RTL = Register Transfer Level). Je v n\u00ED diskutov\u00E1na problematika modelov\u00E1n\u00ED \u010Dinnosti \u0159adi\u010De testu pomoc\u00ED  \u010Dasovan\u00E9ho automatu, d\u00E1le problematika paraleln\u00EDho p\u0159enosu diagnostick\u00FDch dat k testovan\u00FDm prvk\u016Fm a nakonec metodika v\u00FDb\u011Bru registr\u016F, kter\u00E9 se budou pod\u00EDlet na aplikaci testu prvk\u016F."@cs . "26230" . "P(GA102/04/0737)" . "The formal method exercising in design of the test controller for digital circuits"@en . . . "Po\u010D\u00EDta\u010Dov\u00E9 architekt\u00FAry & diagnostika PAD 2004" . "The formal method exercising in design of the test controller for digital circuits"@en . "Uplatn\u011Bn\u00ED form\u00E1ln\u00EDch postup\u016F p\u0159i n\u00E1vrhu \u0159adi\u010De testu \u010D\u00EDslicov\u00E9ho obvodu"@cs . . . "80-969202-0-0" . . "1"^^ . . "Slovensk\u00E1 akad\u00E9mia vied" . . "1"^^ . . .