← DUT Verification Through an Efficient and Reusable ...