Thesis Details

Využití SAT solverů v úloze optimalizace kombinačních obvodů

Master's Thesis Student: Minařík Vojtěch Academic Year: 2018/2019 Supervisor: Vašíček Zdeněk, doc. Ing., Ph.D.
English title
Application of SAT Solvers in Circuit Optimization Problem
Language
Czech
Abstract

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.

Keywords

Evolution, Evolution HW design, HW, SAT, satisfiability, logic circuit, logic, genetic programming,artificial inteligence, AI.

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology, Field of Study Computer and Embedded Systems
Files
Status
defended, grade B
Date
17 June 2019
Reviewer
Mrázek Vojtěch, Ing., Ph.D.
Committee
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), předseda
Jaroš Jiří, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Martínek Tomáš, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), člen
Vranić Valentino, doc. Ing., Ph.D. (FIIT STU), člen
Citation
MINAŘÍK, Vojtěch. Využití SAT solverů v úloze optimalizace kombinačních obvodů. Brno, 2019. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-17. Supervised by Vašíček Zdeněk. Available from: https://www.fit.vut.cz/study/thesis/13810/
BibTeX 
@mastersthesis{FITMT13810,
    author = "Vojt\v{e}ch Mina\v{r}\'{i}k",
    type = "Master's thesis",
    title = "Vyu\v{z}it\'{i} SAT solver\r{u} v \'{u}loze optimalizace kombina\v{c}n\'{i}ch obvod\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/13810/"
}

Theses

Back to top