Integration of modern verification methodologies in a TCL test framework

Author(s):
Matteo De Luigi and Alessandro Ogheri