SIMD matrix methods for detecting hazards in logic circuits

摘要

The paper describes the underlying theory and an outline for an algorithm which is designed to utilise the power of SIMD computers to detect and locate the presence of logic hazards in combinational logic circuits.