Prohlížení Disertační práce - 18000 dle předmětu "SAT"
Zobrazují se záznamy 1-1 z 1
-
Automatické generování testovacích vektorů s nulovým maskováním pro obecný kompaktor odezvy
; Vedoucí práce: Fišer Petr; Oponent práce: Eggersgluess Stephan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-22)D˚uleˇzitost a obt´ıˇznost testov´an´ı souˇcasn´ych ˇc´ıslicov´ych obvod˚u roste se zvyˇsuj´ıc´ı se komplexitou dneˇsn´ıch obvod˚u. Tato disertaˇcn´ı pr´ace m´a 2 t´emata. Hlavn´ım t´ematem je generov´an´ı testu s nulov´ym ...