Prohlížení Bakalářské práce - 18102 dle autora "Karel Pajskr"

Zobrazují se záznamy 1-1 z 1

    • Komprese testu pro RAS architekturu založená na řešení SAT problému 

      Autor: Karel Pajskr; Vedoucí práce: Fišer Petr; Oponent práce: 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 ...