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

이건 정확한 심액트를 왜 써요?

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

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

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

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

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

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

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

Questa One Sim Xact

형식에 기반한 X-비관주의 제거 솔루션

이건 정확한 시뮬레이션 xact가 게이트 레벨 시뮬레이션을 빠르고 쉽게 불러올 수 있는 향상된 방법론을 제공해요.특허 받은 기술은 조합 분석으로 시뮬레이션을 효과적으로 분석해서 플립플롭 D-입력의 X 값이 X-비관주의 때문에 틀린지 아니면 실수인지 판단할 수 있어요.게이트 레벨 시뮬레이션으로 올바른 결과를 낼 수 있게 해주는 거짓 X를 자동으로 제거해요.

노트북에서 소프트웨어를 디버깅하는 엔지니어예요.

이 심 심에 대한 지식을 넓히세요

지원 센터

지멘스 에다는 이 심, 그리고 우리의 모든 제품에 대해 세계적 수준의 고객 지원을 제공해요.

Verification Academy

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

검증 호라이즌 블로그

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