Formal Verification by the Book: Error Detection and Correction Codes
Keerthikumara Devarajegowda, Infineon Technologies
Keerthikumara Devarajegowda, PhD candidate at Infineon Technologies, talks about the verification of error correction codes using formal verification, namely OneSpin 360 DV.