Hardware verification language