Tag Archives: Cadence

Verilog와 VHDL.. Simulator/Verfication 툴 점유율

이 포스팅은 DVCon07에서 ESNUG의 John Cooley가 참석자 800여명을 대상으로 조사한 내용을 바탕으로 하고 있으므로, 전체 시장 점유율이나 비중을 반영한다고 이야기할 수는 없습니다. 하지만, DVCon에 참석하는 사람들이 각 사의 funcational verification을 담당하고 있는 사람이 대부분이라는 점에서 이쪽 분야의 “향후” 경향을 대변하는데는 부족함이 없을 것이라 생각됩니다.

Verilog HDL이 대세다!


이 이야기는 제 Blog전반에 걸쳐서 몇번 이야기 했었습니다. HDL을 배우고 사용하는데 있어서 Verilog HDL이 대세라는 것이지요. John Cooley는 VHDL을 고수하는 업체는 미군과 계약하고 일하는 업체나 일부 유럽 회사밖에는 없다고 이야기합니다. (VHDL을 미국방부에서 만들었으니 아직도 이쪽에 납품하려면 써야 하나봅니다.)



  Verilog only : ############################ 55.3%
mostly Verilog : ######### 18.0%
 both equally  : ### 6.5%
   mostly VHDL : ######## 16.4%
     VHDL only : ## 4.0%


[source: ESNUG-DVCon-Item02]


VHDL만 사용하는 사용자의 비율은 불과 4.0%에 불과하며, VHDL을 main으로 사용하는 사용자를 포함해도 전체의 20% 정도입니다.  Verilog사용자의 경우 VHDL을 사용하는 가장 큰 이유로 “기존에 있던 코드 때문에(legacy code)”라는 답변이 대부분입니다.


더욱 재미있는 것은 ^^; 이런 Mixed simulation을 사용할 때 사용하는 툴이 (이 응답에서는) 대부분 Modelsim이라는 점입니다. (modelsim이 주력 시뮬레이터는 아니구요.) Modelsim에게는 조금 위협적인 이야기가 되겠지요. 지금의 market share가 대부분 legacy code에 의한 것이라면 점차 legacy code의 사용이 줄어들면서 Modelsim의 입지도 줄어들 가능성이 있으니까요.

VCS의 약진!


전반적으로 functional 전 개인적으로 Simulator부분에 있어서 [wp]cadence design system[/wp]의 NCsim series보다 [wp]Synopsys[/wp] VCS series가 이 정도의 market share를 차지한다는 것에 놀라움을 느낍니다. 다시 한번 말씀드리듯이 DVCon은 [wp]functional verification [/wp]engineer을 대상으로 하므로, 현재 상황이라기 보다 미래의 상황을 더 나타낸다고 보고 있으니, 더 놀라운 것입니다.


    Cadence NC-Sim : ######################## 24.3%
        NC-Verilog : ################## 18.0%
        Verilog-XL : # 0.7%
           NC-VHDL : # 1.1%

      Synopsys VCS : ############################################# 44.7%
            VCS-MX : ######### 8.5%


   Mentor ModelSim : ################################### 35.3%


             Aldec : ### 2.8%
            Icarus : .4%
Veripool Verilator : # .6%
 SimuCAD Silos-III : 0%
            Finsim : 0%

        Cadence 2004 total :  ############################## 51.0%
        Cadence 2005 total :  ############################## 51.0%
        Cadence 2007 total :  ########################## 44.1%

       Synopsys 2004 total :  #################### 34.0%
       Synopsys 2005 total :  ############################ 47.0%
       Synopsys 2007 total :  ############################### 53.2%

         Mentor 2004 total :  ######################### 41.0%
         Mentor 2005 total :  ##################### 35.0%
         Mentor 2007 total :  ##################### 35.3%

         others 2004 total :  ###### 11.0%
         others 2005 total :  ### 5.0%
         others 2007 total :  ## 3.5%


사실 저는 VCS를 제대로 사용해 본적이 없어서 뭐라 이야기하기 어렵습니다. Icarus, Verilator, Silos-III, Finsim은 잠깐씩이라도 다 써봤군요.. Silos-III와 Finsim은 수업에서 쓸까 해서 Evaluation version을 사용한 적이 있었고, 다른 것은 개인적인 관심으로…

여하튼.. VCS의 점유율이 늘어나고 Cadence의 점유율이 줄어드는 경향은 아마도 VMM의 힘이 아닌가.. 라는 의견도 있군요.
사실 Cadence가 Verilog기반의 회사임에도 그간 System-C 기반의 설계/검증 환경에 강점을 보인 반면, Synopsys는 VMM으로 SystemVerilog 검증의 기반을 잡아나갔다는 것도 하나의 이유일 수 있다고 분석되는 군요.
Mentor의 Modelsim의 선방도 인상적이긴합니다. 아직 국내 학생들 사이에서는 최고의 인기이지요? 가격적으로도 메리트가 있구요. 하지만, Modelsim에 검증 부분을 강화한Questa에 대한 반응이 아직은 본격적으로 나타나고 있지 않으니 좀 답답하겠습니다. DVCon의 설문 조사인데 말입니다. Questa의 경우 SystemVerilog나 System-C모두에 대하여 약간은 중립적인 견지에 있지요.

여하튼, Big3 EDA 업체가 functional verification에 대한 지배력을 점차 늘려가고 있는 형태네요..

Linting과 Coverage는 Built-in?


저는 사실 Linter에 대해서 처음에는 상당히 호의적이었는데, 지금은 약간 갸웃~하는 입장인데요.
Linter라는 것이 문제가 발생할 부분을 코딩 스타일 점검 과정에서 미리 확인하는 툴은데요..유용하다는 데는 이견이 없습니다만, Simulator나 Synthesizer에서 “상당히 빠르게” 미리 문제를 확인할 수 있기 때문에 약간은 비관적입니다.

Code Coverage에 대해서는 가능성이 많다고 보는데, 문제는 현재 각 Simualtor에서 제공하는 기능이 일반적인 Code coverage기능(최소한 Line coverage정도는..)을 지원하고 있고, 어짜피 functional coverage는 assertion을 사용해야 할테니 강력한 code coverage를 요구하지 않는 다는 것이 문제겠지요. (아니, 실은 요구하는데 그 기능을 위하여 지갑을 열기가 쉽지 않은 것이겠습니다.)

여하튼..


             Cadence built-in :  ######################## 24.0%
                  Cadence HAL :  ########### 11.3%
                     Verisity :  ## 2.0%

            Synopsys built-in :  ############################ 28.2%
                Synopsys LEDA :  ##################### 20.8%

          Mentor MTI built-in :  ####################### 23.0%
         Mentor DesignAnalyst :  ## 1.9%
               0-In CheckList :  ## 1.6%

               Aldec built-in :  ## 2.4%

             Atrenta Spyglass :  ########################## 25.9%

                  Novas nLint :  ### 2.7%
                     TransEDA :  ## 2.2%
            Certess Certitude :  # 1.1%
                        Axiom :  # 0.8%

                    homegrown :  ## 1.9%


결과를 보시면 알겠지만, SpyGlass가 아주 눈에 뜨입니다!
게다가 더욱 놀라운 것은 SpyGlass의 점유율이 2005년보다 약 8%나 증가했다는 것이죠.

또 하나 재미있는 것은 Leda사용자들이 Leda를 무지 싫어한다는 점입니다. 일단 Leda를 쓰지만 ‘Leda는 X같아서 못쓰겠고, 나중에는 SpyGlass를 쓰겠다’는 식으로요..


Waveform Viewer와 Environment는?


Waveform viewer는 실질적으로 Designer와 verification engineer들이 그야말로 끼고 사는 툴중의 하나인데요..(물론, verification enginner는 약간 덜 끼고 살죠..^^;)
대부분 Simulator에 번들링 되어온 툴을 많이들 사용합니다.

저같은 NCsim 사용자는 Simvision이나 Signal Scan을 사용하겠고, Modelsim 사용자는 Modelsim자체 툴을 사용하시겠고, Nanosim사용자는 Novas nWave가 번들링 되어 있으니 이넘을 사용하시겠죠.

그런데, 사실 요즘 세상에서는 파형만 보여주는 걸로는 부족합니다. 어떤 신호가 시점에서 unknown이 발생했으면, 어떤 신호에서부터 unknown이 타고 들어온건지 분석해주었음 좋겠고..
신호를 그래픽으로 따라 들어가 주었으면 좋겠고, 그 값이 어디서부터 바뀌어 들어온지도 알고 싶지요.

별거 아닌듯 한데, 이게 “생산력”을 아주 급격히 증가시켜줍니다!!
즉, 설계를 마치고 문제가 생기면 가장 시간이 오래 걸리는 부분이 파형보면서 문제를 파악하고 추적하는 건데, 이것을 편하게 해 주는 것은 정말 중요한 거죠.

밑에 표를 보시면 Novas의 툴들 Debussy/Verdi의 점유율이 아주 놀라운데요. 이런 맥락에서 이해하면 될 것 같습니다.
그래도, 제 생각으로는 simvision도 현재 상당히 강력해진 상황인데, 이 넘과 싸워서 사용자의 지갑을 열도록 만들수 있을 정도로 가치를 인정받았다는 의미이므로, 상당히 선전하고 있다는 거죠.
하긴 제 주변에도 Novas Debussy의 팬들이 몇 분 계시기는 하죠..^^;


         Cadence built-in debug :  ############################## 29.6%
         Cadence DAI SignalScan :  ## 1.7%

        Synopsys built-in debug :  ################################# 33.2%

      Mentor MTI built-in debug :  ########################## 26.3%

           Aldec built-in debug :  ### 2.5%

                  Novas Debussy :  ################################# 33.1%
                    Novas Verdi :  ##################### 20.8%
                  Novas nSchema :  ##### 4.5%
                    Novas nWave :  # 1.3%
                   Novas Siloti :  0.3%

             Veritools UnderTow :  ### 2.8%
                 Bybell GTKwave :  # 0.8%
             Veripool Dinotrace :  # 0.6%
           Axiom built-in debug :  # 0.8%
—-
In the case of Novas!
           2005 – Novas Debussy :  ############################## 30%
                    Novas Verdi :  ######### 9%
                  Novas nSchema :  # 1%

           2007 – Novas Debussy :  ################################# 33.1%
                    Novas Verdi :  ##################### 20.8%
                  Novas nSchema :  ##### 4.5%
                    Novas nWave :  # 1.3%
                   Novas Siloti :  0.3%


EDA 업계 소식을 보다보면, ‘야~ 이 툴 정말 써보고 싶다’라는 생각을 해보곤 해요.
근데, 아시다시피 EDA 툴 한 카피의 가격도 가격이거니와.. EDA Tool의 Evaluation이라는 것이 회사 업무에 영향을 받기 때문에 회사 차원에서 evaluation하려면 여러 가지로 귀찮아요..

그래서, 그냥 개인적으로 evaluation 해 볼 수 있는 뭐 그런거 없나 싶기도 합니다. Technical Report정도를 작성하면서 말입니다. 외국의 경우에는 책이나 이런저런것에서 지원받는 경우를 보았습니다만, 사실 국내에서는 EDA 시장 자체의 규모가 작으니 불가능하겠지요. ^^;

EDA, Foundary 모두 성장한 한해 2006년

관련 새소식은 아닙니다만..

2006년에는 전반적으로 EDA 업체나 foundary 업체나 매출이 대략 15%이상씩 증가한 것으로 보고되었습니다.
그런데, 실제로 돈을 벌었냐.. 라는 말로 넘어가면 좀 이야기가 달라지는데요..

소위 EDA업계의 big 3라고 이야기되는 Cadence, Synopsys, Mentor의 경우 상당한 수익이 난 반면..
소위 Foundary big 3라고 이야기되는 TSMC, UMC, Chartered의 경우 수익이 많이 악화되었죠.
(물론 case-by-case 입니다.)

이러한 경향은 deep-sub micron 시대로 들어서면서 더 심해진 듯 한데요..
기술 투자에 심각히 고민해야 하는 foundary에 비하여, EDA 업계의 경우 약간은 좀 더 수월하겠지요.
게다가, EDA 업계에서 EDA 툴 자체의 수익률보다 service라던지 IP 매출의 비중이 높아진 것도 재미있는 일입니다.

아.. 제목과는 관계없는건데..
EET-Korea(전자엔지니어)의 보고서를 보다가, 재미있는 부분이 있던데요..

첫 번째는 한국, 중국, 대만 모두 자국 Foundary 사용율이 압도적으로 높다는 것…
두 번째는 국내에서는 ASIC 설계에 있어서 가장 고려대상이 되는 것이 Cost 인 반면에, 중국은 Turn-Around Time 이라는 점이 재미 있더군요..

이 이야기는 국내의 ASIC(SoC/ASSP)에서 원가 경쟁이 심각하다는 것을 시사하는데.. (사실 뭐가 잘된다고 하면 몽땅 우르르~~~ 달려드는 상황상 원가 경쟁이 없을 수가 없지요..).. 국내 foundary가 그리 싸진 않거든요..
중국의 경우 원가에 대한 부분보다, 빨리 치고 빠지는 걸까요? ^^;
(그냥 just guess에요~!)

세번째.. 중국/대만에 비하여 국내의 경우 사용하는 FPGA의 크기가 압도적으로 크다는 것도 좀 재미있네요..
비메모리 반도체에서 강자라고 알려진 대만의 경우 만드는 ASIC의 크기가 아주 작다는 것도 재미있구요..^^;

Cadence Technology on Tour

오늘 있었던 시납시스 세미나에 이어, 케이던스 세미나 공고 입니다.

Synopsys 세미나는 회사 업무때문에 부득이하게 못갔습니다. UDF에 대한 이야기가 있었다고 하던데, 회사 후배들이 가서 자료만 좀 봤습니다.
케이던스도 역시 저전력에 힘을 기울이고 있죠? (format 전쟁중이기도 하구요 ^^; 아쉽게도 행정적인 문제로 IEEE 표준에서 약간 밀린 느낌이 있습니다만..)
관심있으신 분은 참석하세요..





  • 행사명 : Technology On Tour 2007
  • 일 시 : 2007년 5월 3일 (목) 09:00 ~ 17:00
  • 장 소 : 호텔롯데월드 3F 크리스탈볼룸
  • 주 최 : 케이던스코리아(유)



Tech Keynote :


[ Keynote title ] Power forward : Removing barriers to low power design and verifications


[ Speaker profile ] : Koorosh Nazifi


Koorosh Nazifi is the program director for the Power Forward Initiative within Cadence. He manages the development and delivery of all Power Forward related product support across Cadence Corporation. Previously, he program managed the Interoperability Initiatives within Cadence encompassing OpenAccess, OpenKit, and ECSM standardization. He has extensive engineering, marketing, and business development experience in the EDA and ATE markets, including marketing pioneering technologies in the field of low power RTL optimization and analysis starting in 1996. Previously, he has held engineering and marketing roles at Synopsys, Teradyne, and Schlumberger. He holds an MBA from San Francisco State University and a BS in mechanical engineering from University of Missouri in Rolla.


Keynote abstract


The ever increasing miniaturization and integration of voice, data, and video led by consumer electronics has brought low power management to the forefront of design challenges, no less equal to timing. Additionally, the ongoing trend toward shrinking process geometries and the power management complications resulting from increased device leakage has equally challenged designers and semiconductor manufacturers alike. The industry’s response has been development of optimization and implementation techniques such as multi-voltage supply domains, power shutoff, and dynamic voltage and frequency scaling coupled with new IP to address the increasing need for reduced energy consumption.


Much of these techniques are utilized at the physical implementation after the initial RTL design creation and exploration. The purpose of this talk is to define a new methodology that supports definition and capture of low power design intent at RTL to enable automation, flow efficiency and productivity gains while bridging the gap between design and verification due to limitations of HDL.



Functional Verification


[ Enterprise System-level Verification ]


Get an overview of the Incisive® Enterprise System-Level Verification Solution, which combines automated hardware, embedded software, and system-level verification with system-wide management and new high-performance engines. Combined with the Incisive Plan-to-Closure Methodology, the solution extends the capabilities of traditional ESL approaches, which focus only on systems engineers and C-level tools. Find out how this new approach enforces system requirements across all engineering functions including design and verification—from an abstract system-level model and verification plan to in-system IP verification, systems integration, validation, and system-level closure.


[ Incisive Plan-to-Closure Methodology ]


Get an overview of the Incisive® Enterprise System-Level Verification Solution, which combines automated hardware, embedded software, and system-level verification with system-wide management and new high-performance engines. Combined with the Incisive Plan-to-Closure Methodology, the solution extends the capabilities of traditional ESL approaches, which focus only on systems engineers and C-level tools. Find out how this new approach enforces system requirements across all engineering functions including design and verification—from an abstract system-level model and verification plan to in-system IP verification, systems integration, validation, and system-level closure.


[ Power-aware verification ]


Incisive Design Team Manager and Incisive Enterprise Manager can read the CPF and automatically extend the verification plan to include coverage analysis of power modes and power control signals, ensuring that all power-related logic is exercised completely during the verification process. Both products automate the tasks that would otherwise require intensive human interaction, custom-software development, or are simply impossible to achieve manually.



Digital IC design


[Cadence Low power solution]


Improve productivity, reduce risk, and achieve optimal trade-offs among timing, power, and area with the Cadence Low-Power Solution. See the industry’s first complete low-power solution, integrating design, verification, and implementation – enabled by Si2 Common Power Format (CPF).


[Encounter Conformal Constraint Designer]


See how CCD’s constraint check and exception generation integrated seamlessly in SOC Encounter environment.


[DFY flow]


See an overview of SoC Encounter GXL differentiated features – focused on high-end digital design at 65nm/45nm technology, and how these features address OCV, process defect challenges for fast design closure and minimum yield risk.



Custom IC design


[ IC 6.1 – Design environment / Simulation /  constraint flow ]


This demo focuses on the Virtuoso Schematic Editor and the Virtuoso Analog Design Environment. You will discover some of the new features and functionality that are available, focusing on the enhanced productivity that designers enjoy with the introduction of assistance. You will also learn about the constraint management system that can be used to pass information the schematic through to layout.


[IC 6.1 – Layout suite / Constraint flow ]


Discover the new, common cockpit that integrates all the products designers can access at any time during the design. Learn how to quickly perform area estimation on a piece of data, obtain the information, and plug it into a floor planning technology. Alo see simple editing to correct violations, the use of pin placement technology, and design optimization.


[AMS/RF Kit – Building out wireless]


The Cadence® AMS Methodology Kit addresses analog/mixed-signal design challenges across some of today’s most competitive markets, including wireless, wired networking, and personal entertainment electronics. The Kit delivers a verified methodology, enabling IP, and consulting, all of which is demonstrated on an end-to-end mixed-signal design example.
The Cadence RF Design Methodology Kit helps shorten product development cycle time by increasing silicon predictability and enabling greater RF design productivity.



IC-PKG-PCB design / System-in-package design


[ RF/Digital SiP design & RF SiP Kit ]


Cadence system-in-package (SiP) design technology provides automation, integration, reliability and repeatability for system-level co-design, advanced packaging, and RF module design.


Cadence SiP solutions seamlessly integrate into Cadence Encounter® for die abstract co-design, Cadence Virtuoso® for RF module design, and Cadence Allegro® for package/board co-design.


[ Highspeed design (SI/PI/EMI challenges) ]


Whether you are designing PCB systems with large number of high-speed nets or a system with small number that operate in Multi-gigahertz (MGH) range, Allegro PCB SI offers a scalable, complete and integrated solution for SI engineers and hardware engineers to explore and resolve electrical performance-related issues at every stage of the high-speed PCB system design cycle.



[ Keynote title ] Cadence Logic Design Team Solution


[ Speaker profile ] : Yoon Kim


Yoon Kim is the Product Marketing Group Director at Cadence, responsible for defining and driving implementation of marketing strategies for various tools using formal verification technology. Prior to joining Cadence, Yoon has held engineering and management positions at Hewlett-Packard and LSI Logic, where she was involved in various ASIC and microprocessor designs and methodology development. Yoon holds a M.S. degree in electrical engineering from Stanford University and a B.S. degree in electrical engineering from MIT.


Keynote abstract


As designs increase in complexity and the impact of shrinking geometries on logic design grows, front-end design teams face an increasing number of challenges, many of which can put already tight schedules at risk. These challenges include the critical nature of power, a growing design/verification gap, logical physical effects, and others, and have up until today been tackled in a serial, ad-hoc and highly iterative manner. Together this all results in a schedule predictability crisis as the actual product development time can be twice as large, or more, as the expected schedule. As a result, logic design teams need a new method to effectively design, verify and implement their RTL block and chip-level designs-one that replaces today’s methods with a concurrent and highly predictable flow, without destabilizing existing design and verification processes. In this presentation we’ll provide a framework for addressing these problems



———————————-