Reusing Testbench Components in a Hybrid Simulation-Formal Environment Author(s): Ritero Chi and Xiaolin Chen Download