Error-tolerant processors: Formal specification and verification
Publication Year
2015
Type
Conference Paper
Conference Name
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design
Publisher
IEEE Press