Exploring the Next-Generation of Debugging with Verification Management System and Integrated Development Environment Author(s): Werner Kerscher, Ionut Cirjan, Noam Roth Download