Integration of modern verification methodologies in a TCL test framework