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 솔루션을 제공합니다.

그림1. ECO Solutions

이 도구는 글로벌 모드와 증분 모드 모두에서 자동 ECO를 수행합니다. 글로벌 모드는 디자인의 전체 그림을 가질 수 있으며 ECO 결과는 동등함을 보장할 수 있습니다.

시놉시스(Synopsis) 디자인 컴파일러 지형학(DCT)과 디자인 컴파일러 그래픽(DCG)은 평면 계획, 라우팅 및 타이밍을 위해 넷리스트(Netlist)를 최적화하는 도구입니다. 그러나 이러한 도구들은 기능적인 ECO를 더 어렵게 만들 수 있습니다. 합성하는 동안 그들은 계층적 모듈 경계를 변경하여 클론 포트(clone ports)를 추가하거나 원래 포트의 상(Phase)을 반전(Invert)시키고 플롭(Flop)을 병합(Merge)할 수 있습니다.
Conformal ECO는 기능적인 ECO에서 포트 매핑(Mapping)에 문제가 있습니다. 그림 2와 같이 Conformal ECO는 DCG/DCT에서 추가한 클론 포트를 잘못 매핑하여 로직(Logic)을 수정하는 데 필요한 것보다 3배 더 많은 게이트(Gate)가 사용됩니다.

그림3. Boundary mapping affects ECO quality

합성 툴(Synthesis tool)은 참조(Reference) 넷 리스트와 구현(Implementation) 넷 리스트 사이에 일대일 매핑(Mapping)이 없는 복제 포트를 추가합니다. ECO 도구가 이러한 포트를 동일하게 만들려고 하면 ECO 패치에 중복 게이트가 추가되거나 최종 로직(Logic)이 동일하지 않게 만들 수 있습니다.

그림4. DCG/DCT Boundary optimized netlist

그러나 GOF는 클론 포트를 올바르게 매핑(Mapping)하여 정확한 비동등점(Non-Equivalent point)만 고정할 수 있습니다.

그림5. GOF result, only the red spot is fixed