Code Coverage Verification Method using Questa

반도체 공정 기술의 발전으로 인해 증가한 집적도는 디지털 회로 설계 단계에서 강력한 검증 기술의 필요성을 높이고 있다. 다양한 설계 검증 방법 중, 본 논문에서는 RTL 코드 검증 과정에서 Questa를 활용한 코드 커버리지 검증 절차를 소개한다. 먼저 Questa 툴을 기반으로 코드 커버리지 검증 방법을 설명하고, 이를 활용한 두 가지 예제인 카운터와 FIFO 예제를 통해 설계 오류를 확인하고 세부 수정 절차를 자세히 다룬다. 이를 통해 코드 커버리지 검증이 하드웨어 설계의 신뢰성과 무결성을 높이는데 있어 효율적인 도구임을 확인할 수 있다. 끝으로, 코드 커버리지 검증 방법이 디지털 회로의 완성도와 무결성을 향상시키며, 이는 항공, 우주, 국방, 자동차 등 다양한 산업 분야에서 시스템의 안정성과 신뢰성을 보장하는 데 기여할 수 있음을 제시한다.