Title: SIMD matrix methods for detecting hazards in logic circuits
First published: 1991