기능 검증 란 무엇인가요?

기능 검증 이는 설계가 실제 생산 단계로 넘어가기 전에 의도한 대로 작동하는지 확인하기 때문에 매우 중요합니다. 설계 주기 초기에 기능적 버그를 파악하고 수정함으로써, 막대한 비용이 드는 오류의 위험을 줄이고, 제품의 신뢰성을 높이며, 시장 출시 기간을 단축할 수 있습니다. 기능 검증 이 없다면, 발견되지 않은 문제로 인해 결함 있는 제품이 출시되거나, 막대한 비용이 드는 리콜이 발생하거나, 개발에 상당한 지연이 생길 수 있습니다.

기능 검증 설계의 동작이 의도된 기능에 부합하는지 체계적으로 테스트합니다. 이 과정은 일반적으로 다음 단계를 거칩니다:

1. 사양 분석: 첫 번째 단계는 시스템의 예상 동작(입력, 출력 및 운영 제약 조건 포함)을 설명하는 설계의 기능 사양을 이해하는 것입니다. 
2. 테스트벤치 생성: 테스트벤치는 System Verilog로 개발되거나 Universal Verification Methodology(UVM)와 같은 방법론을 사용하여 다양한 조건에서 설계를 시뮬레이션하기 위해 개발됩니다. 여기에는 다양한 입력과 시나리오에 대한 설계의 응답을 평가하기 위한 자극 발생기, 모니터 및 체커가 포함됩니다.
3. 시뮬레이션: 시뮬레이션은 기능 검증 에서 가장 널리 사용되는 방법입니다. 이는 설계를 일련의 테스트를 거쳐 실행함으로써 그 동작을 관찰하는 과정입니다. Synopsys VCS®와 같은 도구는 고성능 시뮬레이션에 널리 사용되며, 설계자가 복잡한 설계를 효율적으로 테스트할 수 있게 해줍니다. 테스트벤치를 사용하지 않고 RTL 단계에서 시뮬레이션을 수행하는 경우, Synopsys VC SpyGlass™와 같은 정적 시뮬레이션 도구를 사용할 수 있습니다. 
4. 커버리지 분석: 커버리지 분석은 설계의 모든 부분이 적절하게 테스트되었는지 확인합니다. 여기에는 기능 커버리지, 코드 커버리지, 어설션 커버리지가 포함되며, 이 세 가지를 종합하여 검증 프로세스의 철저성을 파악할 수 있습니다.
5. 디버깅: 예상된 동작과 실제 동작 사이에 차이가 발견되면 , 디버깅 도구를 사용하여 문제의 원인을 정확히 파악하고 해결합니다. Synopsys Verdi®는 고급 시각화 및 분석 기능을 제공하여 디버깅에 널리 사용되는 도구입니다.
6. 형식 검증: Synopsys 의 VC Formal™과 같은 도구를 사용하여 형식 검증 기법을 적용함으로써 설계의 특정 측면에 대한 올바름을 수학적으로 증명합니다 . 이 방법은 특히 중요한 속성과 코너 케이스를 검증하는 데 유용합니다.

7. 에뮬레이션 및 가속: 규모가 크고 복잡한 설계의 경우 , 검증 프로세스의 속도를 높이기 위해 에뮬레이션과 하드웨어 가속이 사용됩니다. Synopsys ZeBu® 에뮬레이션 시스템은 기능 검증 에 대한 더 높은 성능을 제공하는 도구의 한 예입니다. 

기능 검증 는 이러한 기법들을 결합함으로써 디자인이 견고하고 신뢰할 수 있으며, 바로 양산에 투입될 수 있도록 보장합니다.

기능 검증 다음과 같은 여러 기법을 활용합니다:

• 정적 시뮬레이션: 다음을 사용하여 RTL, CDC( 클록 도메인 크로싱 ) 및 RDC( 리셋 도메인 크로싱 )의 올바른 구성을 검증합니다 . Synopsys VC SpyGlass™를 사용하여 검증합니다.

• 동적 시뮬레이션: 다음과 같은 도구를 사용하여 다양한 조건에서 설계를 테스트하는 것 Synopsys VCS®

• 형식 검증: 특정 설계 속성의 올바름을 수학적으로 증명하는 것.

• 에뮬레이션: Synopsys ZeBu®와 같은 하드웨어 기반 시스템을 사용하여 대규모 설계의 검증 속도를 높입니다.

• 커버리지 분석: 설계의 모든 부분이 적절하게 테스트되도록 보장합니다 .

이러한 각 기법은 검증 과정의 철저성과 정확성을 보장하는 데 있어 고유한 역할을 수행합니다.

기능 검증 성공적인 디지털 디자인에 필수적인 다음과 같은 다양한 이점을 제공합니다:

• 조기 버그 탐지: 설계 주기 초기에 기능적 오류를 파악하여 막대한 비용이 드는 재작업의 위험을 줄입니다.

• 설계 품질 향상: 설계가 기능 사양을 충족하도록 보장하여, 더 신뢰할 수 있고 견고한 제품을 만들어 냅니다.

• 시장 출시 기간 단축: 검증 프로세스를 간소화하여 제품의 개발 및 출시를 가속화합니다.

• 비용 절감: 결함 제품 생산 위험을 최소화하여 리콜 및 재설계와 관련된 비용을 절감합니다.

• 종합 테스트: 경계 사례 및 극한 시나리오를 포함하여 설계의 모든 측면에 대한 철저한 테스트를 수행합니다 .

• 확장성: SoC 및 IC와 같이 점점 더 복잡해지는 설계의 검증 작업을 지원합니다 .

• 향상된 디버깅: 문제를 신속하고 효율적으로 파악하고 해결할 수 있는 고급 도구를 제공합니다.

• 설계 도구와의 연동: 다른 EDA 도구와 원활하게 연동되어 일관된 설계 및 검증 워크플로우를 구현합니다.

기능 검증 시뮬레이션과 에뮬레이션을 활용하여 설계의 동작이 사양에 부합하는지 검증하는 데 중점을 둡니다. 반면, 형식 검증은 수학적 방법을 사용하여 설계 내 특정 속성이나 동작의 올바름을 증명합니다. 이 두 가지 방법은 상호 보완적이며, 검증 워크플로우에서 종종 함께 사용됩니다.

Synopsys 기능 검증 분야에서 최첨단 솔루션을 제공하는 선도 기업입니다. Synopsys VCS® 기능 검증 솔루션은 업계 최고 성능의 시뮬레이션 도구로, 전 세계 주요 반도체 기업 대다수가 신뢰하고 있습니다. VCS 는 현대적인 SoC 설계의 과제를 해결하기 위해 첨단 시뮬레이션 기술, 지능형 커버리지 최적화 및 동적 성능 최적화 기능을 제공합니다.

주요 기능 Synopsys VCS®의 주요 기능:

• 업계 최고의 성능: VCS 는 세분화된 병렬 처리(FGP) 기술을 활용하여, 특히 활동도가 높고 주기가 긴 테스트에서 시뮬레이션 속도와 효율성을 극대화합니다.

• 고급 시뮬레이션 기술: 저전력 검증, 준안정성 주입, 동적 SDC 고려 검증 등 다양한 기능을 지원합니다.

• 포괄적인 계획 및 커버리지: Synopsys Verdi® debug, VC Formal™ 및 검증 IP 와의 원활한 통합을 통해 매끄러운 실행 관리 및 커버리지 분석을 보장합니다.

• 확장성 및 유연성: VCS 는 다양한 검증 방법론을 지원하므로, 규모와 복잡성에 상관없이 모든 설계에 적합합니다.

Synopsys 또한 디자이너와 검증 엔지니어가 워크플로를 최적화할 수 있도록 추가 리소스, 교육 및 지원을 제공합니다. VCS, Verdi®, ZeBu®와 같은 도구를 통해, Synopsys 팀들이 더 높은 성능을 달성하고, 처리 시간을 단축하며, 설계에 대한 확신을 높일 수 있도록 지원합니다.