IDE for hardware verification languages