Exploring the Next-Generation of Debugging with Verification Management System and Integrated Development Environment