DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models

Ilya Tuzov, David de Andrés, Juan Carlos Ruiz. DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models. In 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018. pages 322-329, IEEE Computer Society, 2018. [doi]

Authors

Ilya Tuzov

This author has not been identified. Look up 'Ilya Tuzov' in Google

David de Andrés

This author has not been identified. Look up 'David de Andrés' in Google

Juan Carlos Ruiz

This author has not been identified. Look up 'Juan Carlos Ruiz' in Google