EDA Solution

OneSpin

| Siemens

OneSpin

Assuring IC Integrity

OneSpin은 오늘날의 중요한 IC 무결성 문제를 해결할 수 있는 가장 발전되고 강력한 검증 플랫폼을 제공합니다. 당사의 전문가들은 가장 까다로운 차세대 검증 문제를 해결하고 설계 팀이 기능적으로 정확하고 안전하며 안전하며 신뢰할 수 있는 SoC를 만들 수 있는 솔루션을 제공하는 데 전념하고 있습니다.

Siemens OneSpin 홈페이지 바로가기

OneSpin(Questa Equivalent FPGA)

Assuring IC Integrity

OneSpin은 오늘날의 중요한 IC 무결성 문제를 해결할 수 있는 가장 발전되고 강력한 검증 플랫폼을 제공합니다. 당사의 전문가들은 가장 까다로운 차세대 검증 문제를 해결하고 설계 팀이 기능적으로 정확하고 안전하며 안전하며 신뢰할 수 있는 SoC를 만들 수 있는 솔루션을 제공하는 데 전념하고 있습니다.

Siemens OneSpin 홈페이지 바로가기

KEY FEATURES

Certified IC Integrity Solution

Questa Equivalent FPGA는 많은 전력, 성능 및 면적 목표를 충족하는 데 필요한 고급 최적화를 보장하며, 합성 또는 장소 및 경로 중에 오류가 발생하지 않도록 보장합니다.

  • 복잡한 FPGA에 합성 및 최적화 오류가 없음을 보장합니다.
  • 설계 구현 및 디버그 루프를 획기적인 가속화가 가능합니다.
  • 고급 합성 최적화를 위험 없이 사용할 수 있습니다.
  • 게이트 레벨 시뮬레이션 및 자극 제거, 설정 및 적용이 용이함
  • 복잡한 순차적 재타이밍을 포함한 모든 FPGA 합성 최적화 지원

The Need for Formal Equivalence Checking

The Need for Formal Equivalence Checking

 • Bus connecting ordering

 • Coincident read discrepancies

 • Wrong FSM re-encoding

 • Undriven or unconnected wires

 • Incorrectly coded pipeline

 • Incorrect BRAM parameter settings

 •  Clock gaiting for low power issues

 •  P&R connecting issues

 • Additional, unspecified logic added