Test Generation for Mixed-Signal Circuits Using Testability Analysis