지능형 검증

Intelligent verification

인텔리전트 검증(Intelligent Verification)은 지능형 테스트벤치 자동화를 포함한 전자 하드웨어 설계의 기능 검증의 한 형태로서 설계가 기기 제작 전 규격에 부합하는지 검증하는 데 사용된다.지능형 검증은 설계와 규격에서 파생된 정보를 사용하여 하드웨어 IP 내부와 사이에 버그를 노출한다.지능적인 검증 도구는 테스트벤치 프로그램 작성의 표준 접근방식을 충족하거나 초과하는 검증 결과를 얻기 위해 상당히 적은 엔지니어링 노력과 사용자 지침을 필요로 한다.

1세대 지능형 검증 도구는 자동화된 적용 범위 피드백이라는 기능으로 회귀 테스트라고 알려진 검증 프로세스의 한 부분을 최적화했다.자동화된 적용 범위 피드백으로, 시험 설명은 기존 시험들에 의해 이전에 검증되지 않은 (또는 "보호"된) 표적 설계 기능성에 따라 자동으로 조정된다.자동화된 적용 범위 피드백의 주요 특성은 동일한 시험 환경을 고려할 때 소프트웨어가 설계 변경에 대응하여 기능 설계 범위를 개선하기 위해 시험을 자동으로 변경한다는 것이다.

새로운 지능형 검증 도구는 단일 소형 고수준 모델에서 테스트벤치(스티물러스, 커버리지 및 점검)에 기대되는 필수 기능을 도출할 수 있다.원래 규격을 나타내고 유사한 단일 모델을 사용하면 테스트벤치 개발 프로세스에서 사람이 실수할 가능성을 크게 감소시켜 버그 누락과 거짓 고장으로 이어질 수 있다.

지능적 검증의 다른 속성은 다음을 포함할 수 있다.

  • 테스트벤치 프로그램과 동등한 수준 이상의 검증 결과를 제공하지만, 소형 고급 모델에 의해 주도됨
  • 모든 시뮬레이션 레벨에 적용 가능하여 테스트벤치 프로그램에 대한 의존도 감소
  • IP 팀과 SoC 팀 간의 프로그래밍 오류 및 사양에 대한 다양한 해석 기회 제거
  • 특정 커버리지 포인트가 감지되지 않은 이유에 대한 방향 제시.
  • 설계 구조를 통해 탐지 지점까지의 경로를 자동으로 추적하여 새로운 테스트 생성
  • 설계의 다양한 측면이 동일한 시험 세트에서 한 번만 검증되는지 확인한다.
  • 시스템의 다양한 하드웨어 및 소프트웨어 구성에 대해 자동으로 테스트 확장
  • 동일한 도구에 기초한 제한된 무작위, 지시, 그래프 기반, 사용 사례와 같은 다양한 검증 방법론 지원.

"지능형 검증"은 기존의 로직 시뮬레이션 테스트벤치를 사용하며, 다음과 같은 유형의 설계 적용범위를 자동으로 대상으로 하여 최대화한다.

역사

설계가 기능적으로 정확하다는 확신을 얻는 것은 점점 더 어려워지고 있다.이러한 문제에 대응하기 위해 1980년대 후반에는 고속 논리 시뮬레이터와 VHDL과 같은 전문 하드웨어 기술 언어가 인기를 끌었다.1990년대에 시스템Verilog(2002년)뿐만 아니라 Vera[1], e와 같은 하드웨어 검증 언어를 사용하여 제한된 무작위 시뮬레이션 방법론이 등장하여 검증 품질과 시간을 더욱 향상시켰다.

지능형 검증 접근방식은 제한된 무작위 시뮬레이션 방법론을 보완하는데, 이 방법론은 설계 구조보다는 외부 입력에 기초한다.[2]지능형 검증은 지난 10년간 설계 규모와 복잡성 증가, 설계를 생성한 엔지니어링팀과 정확한 작동을 검증하는 팀의 분리 등으로 중요성이 커지고 있는 시뮬레이션 중 설계지식을 자동으로 활용하기 위한 것이다.[1]

지능 검증 분야에 대한 실질적인 연구가 있었고, 이 기술을 활용한 상업적 도구가 막 등장하기 시작했다.

참고 항목

지능형 검증을 제공하는 공급업체

각주

  1. ^ a b 2008년 6월, 임베디드, "지능형 검증 방법론을 위한 설계 통찰력 활용"
  2. ^ "약속된 무작위 테스트에 대한 도전" SCDSource, 2008년 3월.

참조

  • "멘토는 2008년 2월 18일 SDCSource의 '지능형' 테스트벤치 생성 도구를 제공한다.
  • "Nusim은 지적 검증에 초점을 맞춘다" EETimes, 2008년 5월.
  • 2008년 5월 SCDSource "지능적 검증에 대한 안개 들어내기"