1 Synopsys 系列工具包含

1）Library Compiler

2）Design Compiler和Design Vision

3）Physical Compiler

4）PrimeTime

5）DFT Compiler

6）Formality

2 Library Compiler

任何ASIC設(shè)計(jì)的核心都包含一組邏輯單元的工藝庫(kù)，庫(kù)可以包含每個(gè)單元的功能描述、時(shí)序、面積及其他相關(guān)信息。在轉(zhuǎn)換為可被Synopsys應(yīng)用程序使用的格式前，Library Compiler（LC）會(huì)分析文本信息的完整性與正確性。

可以在命令行輸入lc_shell啟動(dòng)，LC的功能在dc_shell中也可以使用。

$ lc_shell

                        Library Compiler (TM)
                      DesignWare Developer (TM)

             Version D-2010.03 for linux -- Feb 22, 2010
              Copyright (c) 1988-2009 by Synopsys, Inc.
                         ALL RIGHTS RESERVED

This software and the associated documentation are confidential and 
proprietary to Synopsys, Inc. Your use or disclosure of this software 
is subject to the terms and conditions of a written license agreement 
between you, or your company, and Synopsys, Inc.

The above trademark notice does not imply that you are licensed to use 
all of the listed products. You are licensed to use only those products 
for which you have lawfully obtained a valid license key.

Initializing...


Settings:
search_path:      . /Tools/dc/libraries/syn /Tools/dc/dw/syn_ver /Tools/dc/dw/sim_ver ../ref/db ./scripts ./rtl ./mapped ./unmapped
link_library:     * sc_max.db
target_library:   sc_max.db
symbol_library:   sc.sdb

 
I am ready ...

3 Design Compiler和Design Vision

Synopsys Design Compiler（DC）和Design Vision（DV）構(gòu)成一套功能強(qiáng)大的邏輯綜合工具，根據(jù)設(shè)計(jì)規(guī)范和時(shí)序約束，提供最佳的門極綜合網(wǎng)表。除了高層次綜合能力，還包含一個(gè)靜態(tài)時(shí)序分析引擎，提供FPGA綜合和links-to-layout（LTL)解決方案。

可以在命令行輸入dc_shell進(jìn)入DC，也可以輸入design_vision進(jìn)入DV，DV是DC的圖形化版本，也可以使用命令dc -gui進(jìn)入。

$design_vision

                        DC Professional (TM)
                           DC Expert (TM)
                            DC Ultra (TM)
                       FloorPlan Manager (TM)
                          HDL Compiler (TM)
                         VHDL Compiler (TM)
                        Library Compiler (TM)
                      DesignWare Developer (TM)
                          DFT Compiler (TM)
                            BSD Compiler
                         Power Compiler (TM)

             Version D-2010.03 for linux -- Feb 22, 2010
              Copyright (c) 1988-2009 by Synopsys, Inc.
                         ALL RIGHTS RESERVED

This software and the associated documentation are confidential and 
proprietary to Synopsys, Inc. Your use or disclosure of this software 
is subject to the terms and conditions of a written license agreement 
between you, or your company, and Synopsys, Inc.

The above trademark notice does not imply that you are licensed to use 
all of the listed products. You are licensed to use only those products 
for which you have lawfully obtained a valid license key.

Initializing...


Settings:
search_path:      . /Tools/dc/libraries/syn /Tools/dc/dw/syn_ver /Tools/dc/dw/sim_ver ../ref/db ./scripts ./rtl ./mapped ./unmapped
link_library:     * sc_max.db
target_library:   sc_max.db
symbol_library:   sc.sdb

 
I am ready ...

4 Physical Compiler

Physical Compiler（PhyC）是DC的一個(gè)超集。除了包含DC全部的綜合和優(yōu)化功能，還提供了根據(jù)設(shè)計(jì)的時(shí)序和/或面積約束同時(shí)優(yōu)化放置單元的能力。

5 PrimeTime

PrimeTime（PT）是Synopsys的簽約級(jí)、全芯片、門級(jí)靜態(tài)時(shí)序分析工具。它是一個(gè)獨(dú)立運(yùn)行的工具，可以通過(guò)命令行輸入pt_shell進(jìn)入。
PrimeTime（PT）是Synopsys的sign-off quality的靜態(tài)時(shí)序分析工具。PrimeTime可以集成于邏輯綜合和物理綜合的流程，讓設(shè)計(jì)者分析并解決復(fù)雜的時(shí)序問(wèn)題，并提高時(shí)序收斂的速度。

6 DFT Compiler

DFT Compiler（DFTC）是包含在DC全套工具中的測(cè)試插入工具，用于向設(shè)計(jì)中插入DFT特征，如掃描插入和邊界掃描，可以直接在dc_shell中調(diào)用所有指令。

6.1. 關(guān)鍵性功能

DFT Compiler及DFTMAX 工具提供以下功能:
· 一步到位的測(cè)試綜合，即一次性完成所有掃描單元的連接。
· 綜合流程中RTL級(jí)和門級(jí)代碼的DFT設(shè)計(jì)規(guī)則檢查
· 快速的掃描綜合
· DFTMAX 掃描壓縮
· 分層次的掃描綜合(標(biāo)準(zhǔn)掃描和壓縮掃描)
· 測(cè)試點(diǎn)插入(Test point insertion)
· 自動(dòng)修復(fù)DFT違例(AutoFix)
· 基于位置的掃描排序
· 基于時(shí)序的掃描排序

6.2. 關(guān)鍵性優(yōu)勢(shì)

DFT Compiler可使你快速精確地計(jì)算可測(cè)性并在設(shè)計(jì)周期早期解決任何測(cè)試問(wèn)題。RTL測(cè)試設(shè)計(jì)規(guī)則檢查可幫你寫出在one-pass測(cè)試綜合環(huán)境中易于綜合的RTL代碼。DC環(huán)境中測(cè)試的整合可保證可預(yù)測(cè)的時(shí)序收斂并實(shí)現(xiàn)掃描設(shè)計(jì)的物理優(yōu)化。
下面簡(jiǎn)單列一下DFT Compiler的優(yōu)勢(shì):
· 在綜合流程中提供透明的DFT實(shí)現(xiàn)
· 在設(shè)計(jì)周期早期計(jì)算RTL代碼的可測(cè)性
· 在設(shè)計(jì)周期后端刪除不可測(cè)性
· 實(shí)現(xiàn)的可測(cè)的時(shí)序、功率、及測(cè)試同時(shí)發(fā)生的信號(hào)完整性收斂

7 Formality

Formality是Synopsys的形式驗(yàn)證工具，是一種邏輯等價(jià)檢測(cè)工具，以檢查設(shè)計(jì)的RTL和門級(jí)網(wǎng)表描述是否代表相同的設(shè)計(jì)。是否DC將部分邏輯消除了。