Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation