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]
Abstract is missing.