Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations

Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh. Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. In FMCAD. pages 151-159, 2022. [doi]

Authors

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google

Roope Kaivola

This author has not been identified. Look up 'Roope Kaivola' in Google

Mihir Parang Mehta

This author has not been identified. Look up 'Mihir Parang Mehta' in Google

Vaibhav Singh

This author has not been identified. Look up 'Vaibhav Singh' in Google