The goal of functional verification is to find all functional bugs before tape-out while getting the best return on investment (ROI) for the verification effort. In order to achieve this goal, there ...