Now showing items 1-1 of 1

    • Formal Verification of ECCs for Memories Using ACL2 

      Naseer, Mahum; Ahmad, Waqar; Hasan, Osman (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 ...