더 빠른 설계 검증 완료 달성

플라톤에 의해 재발행

팔로워 : 0

대형 칩 설계 프로젝트에서는 로직 검증 노력이 설계 노력보다 더 클 수 있으며, 데이터를 기반으로 프로젝트 시간의 최대 70%를 차지할 수 있습니다. 2022 윌슨 연구 그룹 결과. 안타깝게도 첫 번째 실리콘 성공률은 지난 31년 동안 24%에서 단 8%로 떨어졌습니다. 이로 인해 결함을 수정하기 위한 또 다른 스핀이 발생하여 기업의 시장 출시 시간 손실이 발생하고 수익 계획에 확실히 타격을 입혔습니다. 더 나은 검증은 확실히 첫 번째 실리콘 성공을 향상시킬 것이지만, 말처럼 쉽지는 않습니다.

Wilson Research Group의 연구에서 나온 다른 놀라운 수치는 다음과 같습니다.

ASIC – 최초 성공률 24%, 정시 완료율 36%
FPGA – 16%는 버그 탈출 제로 달성, 30%는 정시에 완료

설계 검증에는 디버깅, 테스트 생성, 엔진 실행, 테스트벤치 개발, 테스트 계획 등 어려운 일이 많이 있습니다. 이상적으로 팀은 처리 시간을 최소화하고, 최소한의 인력과 컴퓨팅 리소스로 검증을 완료하고, 안전 규정 준수를 충족하고, 프로젝트 일정을 충족하면서 설계 품질이 검증을 중지할 만큼 높은 시점을 알고 싶어합니다.

저는 최근 Siemens EDA의 설계 검증 전문가 Darron May로부터 방금 발표된 내용에 대한 업데이트를 받았습니다. Questa 검증 IQ. 이들의 접근 방식은 AI/ML 기반의 추적성, 협업 및 분석을 사용하여 형성된 데이터 기반 검증에 관한 것입니다. 기존 분석은 논리 동작 설명 및 진단에 대한 제한된 생산성과 통찰력을 제공하는 반면, AI/ML을 사용한 빅 데이터 기반 분석은 검증을 위한 예측 및 처방 조치를 제공합니다. 소프트웨어 및 하드웨어 팀은 다음을 사용하여 협업함으로써 생산성을 높이고 있습니다. CI (지속적 통합), 기민한 행동 양식, ALM (애플리케이션 수명주기 관리), 클라우드 기반 설계 및 AI/ML 기술 적용. 안전이 중요한 산업에서는 ISO 26262 및 DO-254와 같은 산업 표준에 정의된 대로 요구사항, 구현 및 검증 간의 추적성이 필요합니다.

Quest Verification IQ가 ALM 도구와 함께 다양한 검증 엔진의 모든 데이터를 데이터 중심 흐름으로 연결하는 방법에 대한 큰 그림은 다음과 같습니다.

커버리지 데이터는 로직 시뮬레이션(퀘 스타), 에뮬레이션 및 프로토타이핑(속도), AMS(교향곡), 공식적인 (원 스핀), 정적 및 FuSa. ML 기능은 패턴을 예측하고 허점을 찾아내고 근본 원인을 지적한 다음 적용 범위를 개선하기 위한 조치를 처방하기 위해 이 모든 데이터를 분석합니다. 표시된 ALM은 다음과 같습니다. 폴라리온 선호하는 검증 엔진을 사용할 수 있는 것처럼 다른 ALM을 사용할 수도 있지만 Siemens에서 제공합니다.

Questa Verification IQ는 수명 주기 관리를 사용하여 모든 요구 사항을 계획하고 추적하는 안전 중요 흐름을 구축할 수 있도록 프로세스 가이드가 포함된 브라우저 기반 프레임워크입니다. 회귀 탐색기를 사용하면 팀에서 테스트를 생성 및 실행하고, 결과를 모니터링하고, 완전한 검증 기록을 확보할 수 있습니다. 커버리지 분석기를 사용하면 코드, 기능 블록 및 테스트 계획에 대한 커버리지가 얼마나 완전한지 알 수 있습니다. 마지막으로 제시된 데이터 분석은 프로젝트 대시보드를 사용하고 교차 분석을 제공하는 측정 플랫폼을 제공합니다.

웹 기반 프레임워크는 모든 규모의 전자 프로젝트에 맞게 확장되므로 소프트웨어를 설치하거나 OS 업데이트를 유지하는 데 대해 걱정할 필요가 없습니다. 또한 퍼블릭, 프라이빗 또는 하이브리드 클라우드 설정도 지원합니다. AI/ML을 적용하면 검증 종료 프로세스가 가속화되고, 근본 원인 분석을 통해 개선할 부분을 찾아내는 데 도움이 되므로 디버그 작업이 빨라집니다.

나는 Darron May에게 몇 가지 명확한 질문을 했습니다.

Q: Questa Verification IQ를 EDA 공급업체 도구 및 ALM과 혼합하여 사용할 수 있습니까?

A: Questa Verification IQ는 표준 기반 접근 방식을 통해 ALM 도구 및 엔진을 지원합니다. OSLC(Open Services for Lifecycle Collaboration)를 사용하여 ALM 도구와 인터페이스하므로 Doors next 또는 Siemens Polarion 및 Teamcenter와 같은 표준을 지원하는 모든 도구를 사용할 수 있습니다. Questa Verification IQ는 모든 엔진을 시작할 수 있으며 UCIS(Unified Coverage Interoperability Standard)를 통한 적용 범위를 지원합니다.

Q: 이 접근 방식은 Synopsys DesignDash와 어떻게 비교됩니까?

A: Synopsys DesignDash는 설계 데이터를 위한 ML에 중점을 두고 있는 반면 Questa Verification IQ는 검증 종료를 가속화하고 처리 시간을 단축하며 프로세스 효율성을 최대화하기 위해 ML을 포함한 분석을 사용하는 데이터 기반 검증에 중점을 두고 있습니다. Questa Verification IQ는 데이터에 대한 중앙 집중식 액세스가 가능한 브라우저 기반 프레임워크에서 팀 기반 공동 검증 관리에 필요한 애플리케이션을 제공합니다.

Q: 이 접근 방식은 Cadence Verisium과 어떻게 비교됩니까?

A: Cadence Verisium은 ML 지원 검증에만 중점을 둡니다. 이에 비해 Siemens Questa Verification IQ는 분석, 협업 및 추적성을 기반으로 하는 완벽한 데이터 기반 검증 솔루션을 제공합니다. 검증 관리는 협업을 중심으로 구축된 애플리케이션과 함께 브라우저 기반 도구로 제공됩니다. Coverage Analyser는 ML의 지원을 받는 분석 탐색을 사용하여 업계 최초의 협업 커버리지 종결 도구를 제공합니다. 질문 확인 IQ는 OSLC를 사용하여 Siemens Polarion과 인터페이스하고 UI 컨텍스트 변경 없이 애플리케이션 수명주기 관리를 통해 긴밀한 디지털 스레드 추적성을 제공하여 하드웨어 검증에 ALM의 강력한 기능을 제공합니다.

요약

저는 엔지니어가 더 많은 시간을 수동으로 투입할 필요 없이 더 스마트하게 작업하여 복잡한 작업을 더 쉽게 만드는 새로운 EDA 도구에 항상 깊은 인상을 받았습니다. Arm 및 Nordic Semiconductor와 같은 친숙한 회사의 Questa Verification IQ에 대한 초기 승인을 통해 Siemens EDA는 검증 팀이 살펴보아야 할 매력적인 내용을 추가한 것으로 보입니다.