シノプシス

シノプシス（Synopsys, Inc.、NASDAQ: SNPS）は、電子系設計ソフトウェア (EDAツール) を開発・販売する企業。アメリカ合衆国に本社を置いている。EDA業界におけるビッグ3の1つである。

シノプシス
Synopsys
種類
 公開会社
市場情報
業種 ソフトウェア開発
設立 1986年、David Gregory, Aart de Geus
本社 アメリカ合衆国の旗 アメリカ合衆国カリフォルニア州マウンテンビュー
主要人物
 Aart J. de Geus
（創業者、会長、共同CEO）
Chi-Foon Chan
（社長、共同CEO）
売上高 増加 $3.121 billion USD (FY 2018)[1]
利益
 増加 $432.5 million USD (FY 2018)[1]
従業員数
 12,590 (Q2 Fiscal 2018)[2]
ウェブサイト www.synopsys.com

開発

シノプシス社の代表的な製品は、Design Compiler である。これはVerilog、VHDLなどのハードウェア記述言語 (HDL) や、真理値表からゲートレベルの論理回路を生成する論理合成ツールであり、同社が開発した最初の製品でもある。業界ではデファクトスタンダードに近いものとなっている。

それ以外にも、集積回路設計に使用される広範囲のツール群、TCADのツール群を提供している。これらの多くは他社の買収によって入手したものである。前者はVerilog、VHDLのシミュレータ、レイアウト配置配線、スタティックタイミング解析ツールなどである。Design Compilerとの連携も進んでいる。後者は、プロセスシミュレータ(FLOOPS)、デバイスシミュレータ(DESSIS)などである。

歴史

シノプシスは、1986年にゼネラル・エレクトリック社の Aart J. de Geus博士を中心とするメンバーによって設立され、その後多くの企業買収を行いながら成長していった。

特に重要なのは Avanti社の買収で、これにより論理設計からマスクレイアウト設計までの一貫した技術を提供できるようになった。また、この買収はTCAD分野へシノプシス社が進出したことも意味し、その後のISE社の買収により、TCADにおける地位を確固とした。

製品

米シノプシス社が開発したソフトウェアには、前述のDesign Compiler以外に次のようなものもある。

PrimeTime
論理合成されたネットリストやレイアウトされたネットリストを、STA(Static Timing Analysis：静的タイミング解析)するツール。本来、LSIの信号の遅延値は、その使用状況により動的であるが、その遅延値を動作保証内の最大値、最小値、標準値で固定し、静的に解析するツールである。
Formality
ハードウェア記述言語などで別個に記述された回路の動作が、機能的に同じかどうかを論理シミュレーションを行わずに検証するツール。例えば、機能記述を行ったVerilog記述を、Design Compilerを用いて論理合成し、ネットリストに変換した後、同じ機能ではあるが、ライブラリを手で修正した（例えば、2入力OR2つを4入力OR1つに修正した）時に、それらが同一の動作をするか検証するためのツールである。この手法を特にフォーマルヴェリフィケーション(Formal Verification)と呼ぶ。

脚注
  1. “Yahoo Finance Page for Synopsys”. 2019年5月23日閲覧。
  2. “Synopsys Corporate Backgrounder Spring 2018”. Synopsys.com. 2018年6月5日閲覧。

外部リンク
アメリカ合衆国の旗 NASDAQ 100 構成銘柄（2023年12月18日入替時点）
  1. Apple（AAPL）
  2. マイクロソフト（MSFT）
  3. Alphabet クラスC（GOOG）
  4. Alphabet クラスA（GOOGL）
  5. Amazon.com（AMZN）
  6. NVIDIA（NVDA）
  7. メタ・プラットフォームズ クラスA（META）
  8. テスラ（TSLA）
  9. ブロードコム（AVGO）
  10. コストコ・ホールセール（COST）
  11. ASMLホールディング 米国預託（ASML）
  12. アドビ（ADBE）
  13. ペプシコ（PEP）
  14. アドバンスト・マイクロ・デバイセズ（AMD）
  15. Netflix（NFLX）
  16. シスコシステムズ（CSCO）
  17. 拼多多 米国預託（PDD）
  18. インテル（INTC）
  19. T-Mobile US（TMUS）
  20. コムキャスト クラスA（CMCSA）
  21. インテュイット（INTU）
  22. クアルコム（QCOM）
  23. テキサス・インスツルメンツ（TXN）
  24. アムジェン（AMGN）
  25. ハネウェル・インターナショナル（HON）
  26. アプライド・マテリアルズ（AMAT）
  27. ブッキング・ホールディングス（BKNG）
  28. インテュイティヴ・サージカル（ISRG）
  29. スターバックス（SBUX）
  30. バーテックス・ファーマシューティカルズ（VRTX）
  31. アストラゼネカ 米国預託（AZN）
  32. ラムリサーチ（LRCX）
  33. ギリアド・サイエンシズ（GILD）
  34. アナログ・デバイセズ（ADI）
  35. パロアルトネットワークス（PANW）
  36. モンデリーズ・インターナショナル クラスA（MDLZ）
  37. ADP（ADP）
  38. Airbnb（ABNB）
  39. リジェネロン・ファーマシューティカルズ（REGN）
  40. マイクロン・テクノロジ（MU）
  41. シノプシス（SNPS）
  42. メルカド・リブレ 米国預託（MELI）
  43. KLAコーポレーション（KLAC）
  44. ケイデンス・デザイン・システムズ（CDNS）
  45. ワークデイ クラスA（WDAY）
  46. CSXコーポレーション（CSX）
  47. PayPal（PYPL）
  48. マリオット・インターナショナル クラスA（MAR）
  49. クラウドストライク クラスA（CRWD）
  50. ルルレモン・アスレティカ（LULU）
  51. NXPセミコンダクターズ 米国預託（NXPI）
  52. アトラシアン クラスA 米国預託（TEAM）
  53. ローパー・テクノロジーズ（ROP）
  54. モンスター・ビバレッジ（MNST）
  55. シンタス（CTAS）
  56. オライリー・オートモーティブ（ORLY）
  57. チャーター・コミュニケーションズ クラスA（CHTR）
  58. マーベル・テクノロジー・グループ（MRVL）
  59. オートデスク（ADSK）
  60. パッカー（PCAR）
  61. マイクロチップ・テクノロジー（MCHP）
  62. デクスコム（DXCM）
  63. コパート（CPRT）
  64. ペイチェックス（PAYX）
  65. ロス・ストアーズ（ROST）
  66. キューリグ・ドクター・ペッパー（KDP）
  67. クラフト・ハインツ（KHC）
  68. アイデックス・ラボラトリーズ（IDXX）
  69. Fortinet（FTNT）
  70. アメリカン・エレクトリック・パワー（AEP）
  71. オールド・ドミニオン・フレイト・ライン（ODFL）
  72. ドアダッシュ（DASH）
  73. Datadog（DDOG）
  74. コンステレーション・エナジー（CEG）
  75. コグニザント・テクノロジー・ソリューションズ クラスA（CTSH）
  76. エレクトロニック・アーツ（EA）
  77. トレードデスク（TTD）
  78. ファスナル（FAST）
  79. バイオジェン（BIIB）
  80. オン・セミコンダクター（ON）
  81. コースター・グループ（CSGP）
  82. ヴェリスク・アナリティクス（VRSK）
  83. エクセル・エナジー（XEL）
  84. エクセロン（EXC）
  85. ベーカーヒューズ（BKR）
  86. GEヘルスケアテクノロジーズ（GEHC）
  87. ゼットスケーラー（ZS）
  88. モデルナ（MRNA）
  89. GlobalFoundries（GFS）
  90. CDW（CDW）
  91. コカコーラ・ユーロパシフィック・パートナーズ 米国預託（CCEP）
  92. モンゴDB（MDB）
  93. ワーナー・ブラザース・ディスカバリー（WBD）
  94. ダラー・ツリー（DLTR）
  95. ダイヤモンドバック・エナジー（FANG）
  96. テイクツー・インタラクティブ（TTWO）
  97. ANSYS（ANSS）
  98. Splunk（SPLK）
  99. ウォルグリーン・ブーツ・アライアンス（WBA）
  100. イルミナ（ILMN）
  101. シリウスXMホールディングス（SIRI）
  • 銘柄入替日時点でのウェイト順
  • 緑字は2023年12月18日入替銘柄
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.