Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.

Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jons

Browse the full TACAS paper archive.