Diagnostic Test Pattern Generation for Analog Circuits Using Hierarchical Models