Home
Scholarly Works
An Automated SAT-based Method for the Design of...
Conference

An Automated SAT-based Method for the Design of On-Chip Bit-flip Detectors

Authors

Taatizadeh P; Nicolici N

Pagination

pp. 101-108

Publisher

ASSOC COMPUTING MACHINERY

Publication Date

January 1, 2017

Name of conference

IEEE/ACM 36th International Conference on Computer-Aided Design (ICCAD)

Conference place

Irvine, CA

Conference start date

November 13, 2017

Conference end date

November 16, 2017

Conference proceedings

2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD)

Contact the Experts team