Browsing Bakalářské práce - 18102 by Subject "Random access scan"
Now showing items 1-1 of 1
-
Komprese testu pro RAS architekturu založená na řešení SAT problému
; Supervisor: Fišer Petr; Opponent: Hülle Robert
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-19)Bakalářská práce se zabývá problematikou vytváření komprimovaného testu pro číslicové obvody s RAS architekturou. Práce se sestává z teoretického úvodu do problematiky, popisu a analýzy řešiče Minisat+, jeho integrace ve ...