Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations - Gupta, Aarti; Kaivola, Roope; Mehta, Mihir Parang; Singh, Vaibhav (2022 Formal Methods in Computer-Aided Design (FMCAD), 2022)
Keywords: binary decision diagrams; Closed box; Complexity theory; Computer bugs; Error correction codes; formal verification; Registers; Shape; symbolic simulation; Trajectory