The paper ” DAVOS: EDA toolkit for dependability assessment, verification, optimisation and selection of hardware models” written by Ilya Tuzov, David de Andrés and Juan-Carlos Ruiz has been accepted at DSN 2018, that will be held next June in Luxembourg City, Luxembourg.
More info at: https://dsn2018.uni.lu/