ESTA: an expert system for DFT rule verification. - Paolo Camurati; Paolo Gianoglio; Renato Gianoglio; Paolo Prinetto (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)