Earlier I had summarized the key integration between verification engines—dynamic and static—earlier this year in my blog “Top 15 Integrating Points In The Continuum Of Verification Engines”. The ...