Title: Error propagation in a digital avionic processor