シノプシス

曖昧さ回避 この項目では、ソフトウェア企業のSynopsysについて説明しています。
  • 物語におけるsynopsisについては「プロット (物語)」をご覧ください。
  • Kis-My-Ft2のアルバムについては「Synopsis」をご覧ください。
シノプシス
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

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

開発

シノプシス社の代表的な製品は、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. ^ a b “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日入替銘柄
典拠管理データベース ウィキデータを編集
全般
  • ISNI
  • VIAF
国立図書館
  • イスラエル
  • アメリカ