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

Ilya Tuzov, David de Andrs, Juan Carlos Ruiz

Browse the full DSN paper archive.