Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.

Marco Bozzano Alessandro Cimatti Alberto Griggio Martin Jonás

Published in: TACAS (2) (2022)

Keyphrases

database
neural network
quantitative analysis
statistical analysis
information systems
computer vision
decision making
website
multiscale
digital libraries
data analysis
multiresolution
search engine
lightweight
fault diagnosis
computationally expensive
real valued
genetic algorithm