@MANUAL{svgspec,
    title = "Scalable Vector Graphics (SVG) 1.1 Specification {[online]}",
    organization = "WWW Consorcium",
    url = "http://www.w3.org/TR/2003/REC-SVG11-20030114/",
    note = "[cit. 2011-07-07]",
    key = "svg"
}

@INBOOK{kobltypo,
	title = "Praktick{\' a} typografie",
	author = "Pavel Ko{\v c}i{\v c}ka and Filip Bla{\v z}ek",
	publisher = "Brno: Computer Press",
	year = "2004"
}

@BOOK{rybicka,
	title = "LaTeX pro za\v c\'ate\v cn\'\i{}ky",
	author = "Ji{\v r}{\' i} Rybi{\v c}ka",
	isbn = "80-7302-049-1",
	publisher = "Brno: Konvoj",
	edition = "3"
}

@article{balcarek,
	author = {Balcarek, Jiri and Fiser, Petr and Schmidt, Jan},
	year = {2014},
	month = {10},
	pages = {679-682},
	title = {PBO-based test compression},
	journal = {Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014},
	doi = {10.1109/DSD.2014.86}
}

@misc{ababei,
	author        = {Cristinel Ababei},
	title         = {COEN-4730 Computer Architecture Lecture 12	Testing and Design for Testability (focus: processors)},
	publisher={Dept. of Electrical and Computer Engineering Marquette University},
	url	= {http://www.dejazzer.com/coen4730/doc/lecture13_testing.pdf}
}

@inproceedings{moskewicz2001chaff,
	title={Chaff: Engineering an efficient SAT solver},
	author={Moskewicz, Matthew W and Madigan, Conor F and Zhao, Ying and Zhang, Lintao and Malik, Sharad},
	booktitle={Proceedings of the 38th annual Design Automation Conference},
	pages={530--535},
	year={2001},
	organization={ACM}
}

@InProceedings{minisat_paper,
	author="E{\'e}n, Niklas
	and S{\"o}rensson, Niklas",
	editor="Giunchiglia, Enrico
	and Tacchella, Armando",
	title="An Extensible SAT-solver",
	booktitle="Theory and Applications of Satisfiability Testing",
	year="2004",
	publisher="Springer Berlin Heidelberg",
	address="Berlin, Heidelberg",
	pages="502--518",
	abstract="In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation to enable the reader to construct his or her own solver in a very short time. This will allow users of SAT-solvers to make domain specific extensions or adaptions of current state-of-the-art SAT-techniques, to meet the needs of a particular application area. The presented solver is designed with this in mind, and includes among other things a mechanism for adding arbitrary boolean constraints. It also supports solving a series of related SAT-problems efficiently by an incremental SAT-interface.",
	isbn="978-3-540-24605-3"
}



@article{minisatp,
	author = {Een, Niklas and Sörensson, Niklas},
	year = {2006},
	month = {03},
	pages = {1-26},
	title = {Translating Pseudo-Boolean Constraints into SAT},
	volume = {2},
	journal = {JSAT},
	doi = {10.3233/SAT190014}
}

@misc{mitsp01,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 1. přednáška - Úvod Terminologie, typy defektů, poruch},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@misc{mitsp02,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 2. přednáška - Testování kombinačních obvodů Intuitivní zcitlivění cesty, D-algoritmus},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@misc{mitsp03,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 3. přednáška - Pokročilé algoritmy generování testu},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@misc{mitsp04,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 4. přednáška - Testování sekvenčních obvodů. Simulace poruch. Kompakce testu},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@misc{mitsp08,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 8. přednáška - Testování sekvenčních obvodů. Scan návrh.},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@misc{mitsp11,
	author        = {Petr Fišer},
	title         = {Testování a spolehlivost ZS 2017/2018, 11. přednáška - Komprese testu.},
	publisher={Katedra číslicového návrhu Fakulta informačních technologií ČVUT v Praze},
	url	= {https://moodle-vyuka.cvut.cz}
}

@inproceedings{baikRAS,
	author = {Baik, Dong and Saluja, Kewal and Kajihara, Seiji},
	year = {2004},
	month = {02},
	pages = {883- 888},
	title = {Random access scan: A solution to test power, test data volume and test time},
	isbn = {0-7695-2072-3},
	doi = {10.1109/ICVD.2004.1261042}
}

@MANUAL{iso690,
	organization = "\'U\v rad pro technickou normalizaci, metrologii a st\'atn\'\i{} zku\v sebnictv\'\i{}",
	title = "\v CSN ISO 690 Informace a dokumentace -- Pravidla pro bibliografick\'e odkazy a citace informa\v cn\'\i{}ch zdroj{\r u}",
	year = "2011"
}


@ARTICLE {sitova-karta-s-fpga-xilinx,
    title  = "Síťová karta s FPGA Xilinx pro 1 a 10GbE",
    journal = "V: Pandatron - elektrotechnický magazín {[online]}",
    howpublished = "[online]",
    month  = "červen",
    year   = "2013",
    note = "[cit. 2015-10-31]",
    url    = "http://pandatron.cz/?2939&sitova_karta_s_fpga_xilinx_pro_1_a_10gbe"
}