シノプシス

この項目では、ソフトウェア企業のSynopsysについて説明しています。 物語におけるsynopsisについては「プロット (物語)」をご覧ください。 Kis-My-Ft2のアルバムについては「Synopsis」をご覧ください。

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

シノプシス
Synopsys

カリフォルニア州マウンテンビューの本社
種類	公開会社
市場情報	NASDAQ: SNPS NASDAQ-100 component S&P 500 component
業種	ソフトウェア開発
設立	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)と呼ぶ。