TY - THES TI - Využití SAT solverů v úloze optimalizace kombinačních obvodů TT - Application of SAT Solvers in Circuit Optimization Problem AU - Minařík, Vojtěch AB - Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu. AB - This thesis is focused on the task of application of SAT problem and it's modifications in area of evolution logic circuit development. This task is supposed to increase speed of evaluating candidate circuits by fitness function in cases where simulation usage fails. Usage of SAT and #SAT problems make evolution of complex circuits with high input number significantly faster. Implemented solution is based on #SAT problem. Two applications were implemented. They differ by the approach to checking outputs of circuit for wrong values. Time complexity of implemented algorithm depends on logical complexity of circuit, because it uses logical formulas and it's satisfiability to evaluate logic circuits. UR - http://www.nusl.cz/ntk/nusl-399701 UR - http://hdl.handle.net/11012/180317 A2 - Vašíček, Zdeněk A2 - Mrázek, Vojtěch LA - cze KW - genetic programming KW - Evolution KW - artificial inteligence KW - satisfiability KW - evoluční návrh hardwaru KW - návrh kombinačních obvodů KW - logika KW - Evolution HW design KW - HW KW - umělá inteligence KW - hardware KW - logic circuit KW - genetické programování KW - AI. KW - kombinační obvod KW - Evoluce KW - logic KW - splnitelnost KW - SAT PY - 2019 PB - Vysoké učení technické v Brně‎, Antonínská 548/1, 601 90 Brno, http://www.vutbr.cz/ ER -