シノプシス
論理合成されたネットリストやレイアウトされたネットリストを、STA(Static Timing Analysis:静的タイミング解析)するツール。本来、LSIの信号の遅延値は、その使用状況により動的であるが、その遅延値を動作保証内の最大値、最小値、標準値で固定し、静的に解析するツールである。