Thesis Details
Polymorfní samočinně testovatelné obvody
This Master's thesis deals with question of the development of self-checking polymorphic circuits. It deals with a traditional way of creating reliable and self-checking circuits, presenting basic principles and methods. Also a method of Cartesian Genetic Programming for development of combinational circuits is explained. This thesis describes concepts of polymorphic gates and circuits and their benefits in practical use. Some existing self-checking polymorphic circuits are presented and their self-checking capabilities are analyzed. A proposal of realization of a design system for self-checking polymorphic circuits is given. A design system has been built based on presented specification and an application allowing simulations and analysis of system-proposed solutions has been created. Variety of experiments have been performed at created system and several interesting solutions have been acquired. At the end, conclusion is given and benefits of MSc. project are discussed.
Cartesian Genetic Programming, CGP, self-checking, checker, two-rail checker, polymorphic gate, polymorphic circuit, self-checking polymorphic circuit, complex weighted fitness function
Drábek Vladimír, doc. Ing., CSc. (DCSY FIT BUT), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), člen
Krejčíček Jaromír, prof. Ing., CSc. (UNOB), člen
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT), člen
@mastersthesis{FITMT4243, author = "Martin Mazuch", type = "Master's thesis", title = "Polymorfn\'{i} samo\v{c}inn\v{e} testovateln\'{e} obvody", school = "Brno University of Technology, Faculty of Information Technology", year = 2008, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/4243/" }