Hardware verification languages