"How the new debugger integration in combination with the powerful code navigation and inspection features of the DVT IDE, eliminates the need to switch continuously between a code editor and simulator and enable users to debug their code more efficiently."
AMIQ DVT Eclipse IDE and Specador on John Cooley's Cheesy Must See List for DAC 2014
The gap is more a matter of attitude. "Until recently, verification has been a second-class citizen in comparison to design." notes Cristian Amitroaie, CEO of AMIQ.