Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation

• Authors: BOZZANO Marco; CIMATTI Alessandro; GRIGGIO Alberto; JONÁŠ Martin
• Year of publication: 2022
• Type: Article in Proceedings
• Conference: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022
• web: https://link.springer.com/chapter/10.1007/978-3-030-99527-0_15
• Doi: http://dx.doi.org/10.1007/978-3-030-99527-0_15