Reusing Testbench Components in a Hybrid Simulation-Formal Environment

Author(s):
Ritero Chi and Xiaolin Chen