Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation

• Autoři: BOZZANO Marco; CIMATTI Alessandro; GRIGGIO Alberto; JONÁŠ Martin
• Rok publikování: 2022
• Druh: Článek ve sborníku
• Konference: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022
• www: 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