Integration of modern verification methodologies in a TCL test framework Author(s): Matteo De Luigi and Alessandro Ogheri Download