Cool Verification – Hardware verification EDA