- Development of test plans covering the specified feature set and related checks and assertions- Design verification from interactive test case debugging to automated regression- Analysing verification results and debugging the design- Develop analog behavioral models with different abstraction levels based on required verification targets- Construction of verification and modeling environment using innovative methods- Verification automation