Over the past decade or so, the state of the art in design verification has taken a huge leap forward…