EDA Solution
NanDigits
| EDA Solution
회사 소개
NanDigits Design Automation은 2007년에 설립된 캘리포니아 산호세에 위치한 EDA 회사입니다. 당사의 전문 기술은 기능적 Netlist ECO(Engineering Change Order), 기능적 안전 오류 검증(Verification) 및 넷리스트 디버깅(Netlist Debug) 서비스를 제공하는 데 있습니다. 당사의 GOF 플랫폼은 GOF ECO, GOF Formal, GOF LEC 및 GOF 디버깅의 네 가지 기능적 구성 요소로 구성되어 있습니다.
당사는 시장에서 최고의 기능성 Netlist ECO 툴인 GOF ECO를 제공하는 것을 목표로 하며, GOF ECO는 경쟁사에 비해 가장 작은 패치 크기의 기능성 Netlist ECO를 달성하였습니다. 또한 자동차 IC 시장 진출을 위한 노력을 지속적으로 하고 있습니다.
NanDigits Design Automation은 2007년에 설립된 캘리포니아 산호세에 위치한 EDA 회사입니다. 당사의 전문 기술은 기능적 Netlist ECO(Engineering Change Order), 기능적 안전 오류 검증(Verification) 및 넷리스트 디버깅(Netlist Debug) 서비스를 제공하는 데 있습니다. 당사의 GOF 플랫폼은 GOF ECO, GOF Formal, GOF LEC 및 GOF 디버깅의 네 가지 기능적 구성 요소로 구성되어 있습니다.
당사는 시장에서 최고의 기능성 Netlist ECO 툴인 GOF ECO를 제공하는 것을 목표로 하며, GOF ECO는 경쟁사에 비해 가장 작은 패치 크기의 기능성 Netlist ECO를 달성하였습니다. 또한 자동차 IC 시장 진출을 위한 노력을 지속적으로 하고 있습니다.
제품 개요
GOF ECO 는 GOF 플랫폼 내의 기능성 넷리스트(Netlist) ECO 툴로 첨단 기술과 방법론(Methodology)을 통합하여 종합적인 기능성 넷리스트(Netlist) ECO 솔루션을 제공합니다.
- 자동 기능 ECO는 넷리스트(Netlist)를 사용하여 구현 넷리스트를 수정합니다. 더보기
- RTL 유도 방식의 자동 기능 ECO 는 더 빠르고 더 정확한 ECO 결과를 생성합니다. 더보기
- RTL 패치 ECO는 전체적(full scale)이고 긴 합성 프로세스를 방지하여 처리 시간을 단축할 수 있습니다. 더보기
- 내장된 논리 동등성 검사 엔진으로 ECO 자체적으로 억제합니다. 더보기
- 병렬 처리를 통해 여러 CPU 코어를 최대한 활용하여 ECO 실행 시간을 단축합니다. 더보기
- Metal only ECO의 표준 스페어 셀은 마스크 후 ECO의 스페어 게이트만 재매핑(remap)합니다. 더보기
- GUI와 스크립트 모드가 혼합된 자동 모드 ECO는 ECO 패치를 최대한 최적화합니다. 더보기
- ECO 리타겟팅(Retargeting)은 단기간에 거대한 넷리스트 ECO를 달성합니다. 더보기
- DFT 친화적으로 테스트 로직(Test logic)을 그대로 유지하여 후기 설계 단계에서 두 번째 ECO 발생을 방지합니다. 더보기
- 자동 기능 ECO는 넷리스트(Netlist)를 사용하여 구현 넷리스트를 수정합니다. 더보기
- RTL 유도 방식의 자동 기능 ECO 는 더 빠르고 더 정확한 ECO 결과를 생성합니다. 더보기
- RTL 패치 ECO는 전체적(full scale)이고 긴 합성 프로세스를 방지하여 처리 시간을 단축할 수 있습니다. 더보기
- 내장된 논리 동등성 검사 엔진으로 ECO 자체적으로 억제합니다. 더보기
- 병렬 처리를 통해 여러 CPU 코어를 최대한 활용하여 ECO 실행 시간을 단축합니다. 더보기
- Metal only ECO의 표준 스페어 셀은 마스크 후 ECO의 스페어 게이트만 재매핑(remap)합니다. 더보기
- GUI와 스크립트 모드가 혼합된 자동 모드 ECO는 ECO 패치를 최대한 최적화합니다. 더보기
- ECO 리타겟팅(Retargeting)은 단기간에 거대한 넷리스트 ECO를 달성합니다. 더보기
- DFT 친화적으로 테스트 로직(Test logic)을 그대로 유지하여 후기 설계 단계에서 두 번째 ECO 발생을 방지합니다. 더보기
이 도구는 글로벌 모드와 증분 모드 모두에서 자동 ECO를 수행합니다. 글로벌 모드는 디자인의 전체 그림을 가질 수 있으며 ECO 결과는 동등함을 보장할 수 있습니다.
Mixed Mode
특정 상황에서 ECO는 매우 복잡할 수 있으며 자동 모드에만 의존하면 만족스러운 결과를 얻지 못할 수 있습니다. 최적의 ECO 패치 적용에는 자동 ECO와 수동 ECO의 조합이 필요한 경우가 많습니다.
예를 들어, 버스 포트 A(IN_A)에 의해 원래 제어되었던 로직(LOGIC B)의 절반을 제어하기 위해 새로운 버스 포트(IN_B)가 필요한 ECO 사례를 고려해 보겠습니다. 로직 A와 로직 B는 일부 중복될 수 있으며, 로직 C는 또한 자동 ECO를 사용하여 수행해야 하는 데이터 경로 변경을 포함하여 수정이 필요합니다.
자동 ECO만 적용되는 경우 수정 1(IN_A/IN_B/LOGIC-A/LOGIC-B)에는 약 200개의 게이트가 필요합니다. 그러나 GOF API를 사용하여 포트 IN_A에서 STATE_reg 및 STATE_B_reg로 이어지는 논리 경로를 분석하면 LOGIC A와 LOGIC B의 게이트 공유가 거의 없음을 확인할 수 있습니다. 따라서 이러한 공유 게이트를 복제하면 논리 A와 논리 B를 깔끔하게 잘라내어 IN_A와 IN_B로 분리하여 구동할 수 있습니다. 이 혼합 모드 ECO 사용 사례는 여기를 클릭하십시오.
그림8. Mixed Automatic and Manual ECO
