Doc. Ing. Zdeněk Kotásek, CSc.

Lecture courses:

• IPZ-2011/W, Peripheral Devices, IT-BC-1H, IT-MGR-1H, IT-BC-3
• ITP-2011/S, Personal Computers, IT-BC-3
• PTD-2011/W, The Principles of Testable Design Synthesis, IT-PHD-3, CSE-PHD-4

Consulting hours:

• Tuesday, 2 - 3.30 p. m.

Graduated Ph.D. Students:

• Herrman Tomáš, Ing., dissertation in 2011:
  
  Test Application Methodology Based On the Identification of Testable blocks
• Mika Daniel, Ing., dissertation in 2005:
  
  Application of formal approaches for the design of digital circuit test controller
• Pečenka Tomáš, Ing., dissertation in 2007:
  
  Tools and Methods for Automated Generating of Benchmark Circuits
• Růžička Richard, Ing., dissertation in 2002:
  
  Formal Approach to RTL Gigital Circuit Testability Analysis
• Strnadel Josef, Ing., dissertation in 2004:
  
  Analýza a zlepšení testovatelnosti číslicového obvodu na úrovni meziregistrových přenosů
• Škarvada Jaroslav, Ing., dissertation in 2009:
  
  Digital systems test application optimization for low power consumption

Current Ph.D. Students:

• Bartoš Pavel, Ing., research theme:
  
  Optimalizace propojení registru scan
• Kaštil Jan, Ing., research theme:
  
  Optimalizace algoritmů a datových struktur pro vyhledávání regulárních výrazů s využitím technologie FPGA
• Kaštovský Petr, Ing., research theme:
  
  Architektury a algoritmy pro podporu virtualizace
• Matoušek Jiří, Ing., research theme:
  
  Využití rekonfigurovatelných obvodů v oblasti počítačových sítí
• Mičulka Lukáš, Ing., research theme:
  
  Metoda návrhu systémů odolných proti poruchám do omezeného implementačního prostoru na bázi FPGA
• Stareček Lukáš, Ing., research theme:
  
  Fault model of polymorphic gate
• Straka Martin, Ing., research theme:
  
  Methodology of highly reliable systems
• Šimková Marcela, Ing., research theme:
  
  Metody akcelerace verifikace logických obvodů