Logic design error diagnosis and correction.

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1994)