an extremely important common reference between the two levels of abstraction is the testbench. Tools for ASI-level verification must therefore assist designers to maintain consistent testbenches ...