하드웨어 검증 언어
Hardware verification language하드웨어 검증 언어 또는 HVL은 하드웨어 기술 언어로 작성된 전자 회로의 설계를 검증하는 데 사용되는 프로그래밍 언어다.HVL에는 일반적으로 C++ 또는 Java와 같은 고급 프로그래밍 언어의 특징뿐만 아니라 HDL에서 발견되는 것과 유사한 쉬운 비트 레벨 조작을 위한 기능도 포함된다.많은 HVL은 복잡한 하드웨어 검증에 도움이 되는 제한된 무작위 자극 생성과 기능 적용 범위 구성을 제공할 것이다.null
SystemVerilog, OpenVera, e 및 SystemC가 가장 일반적으로 사용되는 HVL이다.SystemVerilog는 HDL과 HVL 구조를 단일 표준으로 결합하려고 시도한다.null
참고 항목
참조