Komprese testu pro RAS architekturu založená na řešení SAT problému
SAT-Based Test Compression for the RAS Test Compression Architecture
dc.contributor.advisor | Fišer Petr | |
dc.contributor.author | Karel Pajskr | |
dc.date.accessioned | 2020-06-19T22:51:31Z | |
dc.date.available | 2020-06-19T22:51:31Z | |
dc.date.issued | 2020-06-19 | |
dc.identifier | KOS-695599672605 | |
dc.identifier.uri | http://hdl.handle.net/10467/88252 | |
dc.description.abstract | 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 formě knihovny do frameworku LogSynth a tvorby programu pro generování testu, který je založen na novém originálním algoritmu. | cze |
dc.description.abstract | This thesis deals with the problematics of test pattern generation for circuits with RAS architecture. The thesis consists of a theoretical introduction, description and analysis of Minisat+ solver, its integration into LogSynth framework as a library and a creation of a test pattern generator base on a novel algorithm. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | Random access scan | cze |
dc.subject | Minisat+ | cze |
dc.subject | Pseudo-booleovská optimalizace | cze |
dc.subject | Random access scan | eng |
dc.subject | Minisat+ | eng |
dc.subject | Pseudo-boolean optimization | eng |
dc.title | Komprese testu pro RAS architekturu založená na řešení SAT problému | cze |
dc.title | SAT-Based Test Compression for the RAS Test Compression Architecture | eng |
dc.type | bakalářská práce | cze |
dc.type | bachelor thesis | eng |
dc.contributor.referee | Hülle Robert | |
theses.degree.discipline | Webové a softwarové inženýrství | cze |
theses.degree.grantor | katedra softwarového inženýrství | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Bakalářské práce - 18102 [1608]