Browsing Electrical Engineering by Subject "Convolutional codes"
Now showing items 1-1 of 1
-
Formal Verification of ECCs for Memories Using ACL2
(Springer US, 2020)Due to the ever-increasing toll of soft errors in memories, Error Correction Codes (ECCs) like Hamming and Reed-Solomon Codes have been used to protect data in memories, in applications ranging from space to terresterial ...