Digital Design & Dependability Research Group


Running Grants & Projects

  • GA16-05179S, "Fault-Tolerant and Attack-Resistant Architectures Based on Programmable Devices: Research of Interplay and Common Features" ("Výzkum vztahů a společných vlastností spolehlivých a bezpečných architektur založených na programovatelných obvodech"), 2016-2018.
  • SGS17/213/OHK3/3T/18, Bezpečné a spolehlivé architektury pro programovatelné obvody, 2017

Past Grants & Projects

  • COST - European Cooperation in Science and Technology - Action IC1204 - Trustworthy Manufacturing And Utilization Of Secure Devices, TRUDEVICE, 2012-2016
  • SGS16/121/OHK3/1T/18, Bezpečné a spolehlivé architektury vhodné pro implementaci v FPGA, 2016
  • SGS15/119/OHK3/1T/18, "Spolehlivé a bezpečné architektury založené na programovatelných obvodech", 2015
  • SGS14/105/OHK3/1T/18 - "Metody číslicového návrhu pro systémy s vysokou spolehlivostí a bezpečností", 2014
  • SGS13/101/OHK3/1T/18 - "Metodologie číslicového návrhu", 2013
  • Research in the Area of the Prospective Information and Navigation Technologies (MSM6840770014, 2005 - 2011)
  • SGS12/094/OHK3/1T/18 - "Metody a postupy číslicového návrhu a jejich experimentální ověření", 2012
  • SGS11/089/OHK3/1T/18, "Výzkum využití implicitních reprezentací při generování testu a stanovování spolehlivosti digitálních obvodů", 2011
  • SoC Circuits Reliability and Availability Improvement (GA 102/09/1668, 2009 - 2011)
  • Using Ternary Trees in Logic Synthesis (SGS10/117/OHK3/1T/18, 2010)
  • Návrh spolehlivých systémů na bázi programovatelných obvodů (SGS10/118/OHK3/1T/18, 2010-2012)
  • Hardwarové architektury pro kryptoanalýzu (SGS10/119/OHK3/1T/18, 2010)
  • New Course "Computer Structure and Architecture" Support (2435F1b, 2007 - 2007)
  • Modern Methods of Digital System Synthesis (GA102/04/0737, 2004-2006)
  • Design of Highly Reliable Control Systems Built on Dynamically Reconfigurable FPGAs (GA102/04/2137, 2004-2006)
  • Digital Circuit Modelling with Focusing on Diagnostics (SGS 6.2./2006, 2006)
  • Modular Architecture of Tools to Transform Programming Languages and Their Source Codes (SGS 5.2./2006, 2006)
  • The Time Complexity Reduction of Design-for-Test Sequential Circuits Testing (CTU CTU0609513, 2006)
  • Innovation of Laboratory for Education of SoC Digital Design (FRVŠ, 2005)
  • Use of Speculative Computation for Arithmetic Accelerating (CVUT, 2005)
  • Design of self testing circuits based on FPGA (CTU CTU0408913, 2004)
  • Formal Procedures in Diagnostics of Digital Circuits - Verification of Testable Design (GA 102/01/1531, 2001-2003)
  • Built-in Self-test Equipment Optimisation Methods in Integrated Circuits (GA 102/01/0566, 2001-2003)
  • Evolutionary Techniques in Physical Design for FPGAs (CTU CTU0210413, 2002)
  • Fault Injection for TTA (OKIX IST-1999-10748, 2000-2002)
  • Research into Methods for Speeding up Computations Using Reconfigurable Hardware (GA 102/99/1017, 1999-2001)
  • Methods and Tools for Testability Analysis of Digital Circuits (GA 102/98/1463, 1998-2000)
  • Research and Application of at Built-In Self-Test for IC (GA 102/98/1003, 1998-2000)
  • COPRODES - A CAD System for Automatic Design of FPGA-Based Communication Processors (EU Copernicus, 1995-1998)

Cooperation with Industry and Other Institutions