An automated SAT-based method for the design of on-chip bit-flip detectors

Autor:	Pouya Taatizadeh, Nicola Nicolici
Rok vydání:	2017
Zdroj:	2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::687034873ef7c01242b75586c616c068 https://doi.org/10.1109/iccad.2017.8203766 Zobrazit plný text záznamu