Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptor