Testability analysis and multi-frequency ATPG for analog circuits and systems