close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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.

Sign up to access the presentation from Keerthikumara Devarajegowda.

Please sign-up to watch the video