Formal Verification of ECCs for Memories Using ACL2

Mahum Naseer, Waqar Ahmad, Osman Hasan. Formal Verification of ECCs for Memories Using ACL2. J. Electronic Testing, 36(5):643-663, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.