Verification process requries .
Verifiaction behaviour models models
bench
and test cases
IN other words it can be said that designing a Test Becch and building high levels trasactors over the behavioral models such that the test cases can be written in efficent way. The becn can also include iuntergrated monotirs and checkers using assertions and other house keeping modules