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

IT 전문가 두 명이 서버 랙이 있는 데이터 센터의 컴퓨터 모니터에 표시된 작업에 대해 논의하고 있어요.

Questa One Sim Xacta요

Questa One Sim Xact는 혁신적인 형식 분석 및 흐름 자동화로 GLS 실행을 간소화하여 더 우수하고 더 완전한 사인 오프 검증으로 이어져요.

왜 Questa One Sim Xact를 사용해요?

Questa One Sim Xact를 사용하면 진단하기 어려운 연결 문제를 격리하면서 성가신 허위 Xs, 제로 딜레이 경쟁 조건, 라이브러리 모델링 오류를 자동으로 제거해 게이트 레벨 시뮬레이션을 훨씬 빠르게 시작할 수 있어요.게다가 고급 Real X 근본 원인 추적 도구를 지원해요.

GLS에서 X 비관주의를 없애요

형식적으로 강화된 로직 시뮬레이션은 X-비관주의 분석을 동적으로 수행하고, 데이터 경로와 게이트 클럭 로직에서의 X 전파를 분석하고, 즉석에서 복구해요.

제로 딜레이 GLS에서 경쟁 조건 없애요.

제로 딜레이 GLS는 경쟁 조건을 나타낼 수 있어요. 특히 게이트 클럭킹과 딜레이 라인이 있는 설계에서 말이죠.“pseudo-SDF” 생성기는 셀 라이브러리를 수정할 필요 없이 경쟁 조건 문제를 효율적으로 해결해요.

GLS의 강제 및 연결 문제 밝혀요.

힘/릴리스 전파 분석을 통해 힘이 최적화되고 더 이상 팬아웃 로직을 구동하지 않는 시점을 확인할 수 있어요.연결 분석을 통해 X 소스를 생성하는 구동되지 않는 입력이 있는 모듈을 찾아냅니다.

관련 제품들

회로판에 장착된 마이크로칩을 클로즈업한 모습이에요.

기능 시뮬레이션

Questa One Sim이에요

기능 시뮬레이션의 발전은 더 빠른 엔진을 결합하여 생산성을 높여 엔지니어가 더 빠르게 작업할 수 있도록 하고 더 적은 워크로드로 검증을 완료하는 데 도움이 되는 최첨단 기술을 제공합니다.

구름 속을 고속으로 나는 군용 비행기예요.

DFT 액셀러레이션

Questa One Sim DX

테센트와 파트너십을 맺고 Questa One Sim DFT 가속 기술을 사용하여 DFT 패턴 검증을 가속화하세요.

팀 코딩을 백그라운드에서 하고 데이터 센터 제어실에서 데스크톱 컴퓨터로 작업하는 여성 IT 프로그래머예요.

회귀 관리

Questa One 검증 IQ 리그레션 내비게이터

Regression Navigator는 분석, AI, ML과 함께 데이터의 힘을 활용하여 회귀 주기를 최적화하고 처리 시간을 가속화해요.근본 원인 분석을 통해 회귀 실행, 관리, 디버깅을 가속화해요.

Questa One Sim에 대한 지식을 넓히세요

지원 센터

Siemens EDA가 Questa One Sim과 저희 모든 제품에 대해 세계적 수준의 고객 지원을 제공해요.

지원 센터 방문하기

검증 아카데미

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

더 알아보기

검증 호라이즌 블로그

고급 기능 검증 기술과 이를 가장 효과적으로 적용하는 방법을 이해하는 데 도움이 되도록, 저희 블로그에 가서 개념, 가치, 표준, 방법론, 예제에 대한 통찰력과 업데이트를 받아보세요.

블로그 읽어보세요.