Skip to main content
자동 번역이 적용된 페이지입니다. 영어로 보시겠습니까?

개요

이 프로세서요

Questa Processor는 RISC-V 설계가 ISA 및 기능적 전제 조건을 준수하도록 보장하고 테스트벤치를 만들 필요가 없어 검증을 가속화해요.효율적인 공식 엔진을 통해 문제 탐지를 향상시켜 기능적인 적용 범위 모델을 만들지 않고도 자동화를 제공해요.


저희 영업팀 1-800-547-3000에 연락해 보세요.

엔지니어가 모니터 두 대에서 Questa 프로세서를 사용하고 있어요.
주요 특징들

IP 코어 구현 보장

사용자 지정 확장 지원을 위해 설계된 Questa Processor는 향상된 디스어셈블러 주석과 추적 분석을 통해 마이크로아키텍처 추출, 어설션 생성, 원활한 디버깅을 지원해요.

Questa Processor는 무제한 증명을 통한 철저한 검증을 용이하게 하여 모든 설계 측면의 철저한 검증을 보장해요.문서화되지 않은 RTL을 캡처하여 설계의 하위 수준 구현 세부 사항에 대한 포괄적인 통찰력을 제공해요.단일 및 다중 이슈 기능을 모두 지원하는 순차 실행 코어 구현에 이상적이에요.RTL 코어 구현과 ISA 사이의 불일치를 감지하여 정렬과 정확성을 보장해요.코어 제공자와 핵심 통합자 모두의 요구를 충족시켜 프로세서 개발 및 통합의 다양한 단계를 위한 다목적 솔루션을 제공해요.

  • 프로세서 코어 구현을 공통 사양에서 검증하기 위한 높은 수준의 자동화
  • 철저한 검증, 문제 및 취약점 노출
  • GapFree 검증을 활용하여 인터벌 속성 검사 개념을 구현하죠.
공식 검증

추천 백서들

공식 검증

예정된 이벤트 및 온디맨드 이벤트

에서 사용 가능한 공식 검증 비디오 녹화를 모두 보세요. 검증 아카데미.

오늘 누군가와 이야기할 준비가 되셨나요?

질문에 답변하기 위해 대기하고 있어요.

저희 영업팀 1-800-547-3000에 연락해 보세요.

더 알아보기

검증 아카데미

검증 아카데미는 조직의 기능적 검증 프로세스 역량을 성숙시키는 데 필요한 기술을 제공하며, 높은 수준의 가치 제안과 낮은 수준의 세부 사항 사이의 방법론적 가교 역할을 해요.

검증 호라이즌 블로그

고급 기능 검증 기술이 할 수 있는 일과 가장 효과적으로 적용하는 방법을 이해하는 데 도움이 되는 개념, 가치, 표준, 방법론, 예제에 대한 통찰력과 업데이트예요.

검증 지평선

Verification Horizons 간행물은 고급 기능 검증 기술이 할 수 있는 일과 그것들을 가장 효과적으로 적용하는 방법을 이해하는 데 도움이 되는 개념, 가치, 방법론, 예제를 제공해요.