Symbolic techniques in parametric fault diagnosis of analog circuits