Analog-testability analysis by determinant-decision-diagrams based symbolic analysis.