Category talk:Hardware verification languages