【正文】 院 ASIC中心 物理驗(yàn)證工具 物理驗(yàn)證工具包括設(shè)計(jì)規(guī)則檢查、寄生參數(shù)提取等工具 主要有： Synopsys的 StarRCXT、 Hercules Cadence的 Assura、 Dracula、 Diva Mentor的 Calibre 09/11/08 11 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 功耗分析工具 功耗越來月成為設(shè)計(jì)者關(guān)注的重點(diǎn)。 Cadence的 Verplex Logic Equivalence Checker也是享譽(yù)業(yè)界的邏輯等價性驗(yàn)證工具。 Synopsys公司的 PrimeTime是一種具有簽收品質(zhì)（ signoff quality）的 STA工具。 09/11/08 6 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 邏輯綜合工具 邏輯綜合用于完成電路從 RTL級描述到門級網(wǎng)表的轉(zhuǎn)換。09/11/08 1 鄧軍勇 02985383437 09/11/08 2 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 數(shù)字 IC設(shè)計(jì)的流程 流程 算法設(shè)計(jì)（ Algorithm Optimization） RTL設(shè)計(jì)（ RTL Design） 綜合（ Synthesis） 后端設(shè)計(jì)（ Backend Design） 版圖后仿真（ Postlayout Simulation） 測試（ Test） 需求分析（ Requirement） 結(jié)構(gòu)設(shè)計(jì) (Architecture Exploration) RTL驗(yàn)證（ RTL Verification） 門級驗(yàn)證（ Gatelevel Verification） 電路參數(shù)提?。?Circuit Extraction） 生產(chǎn)（ Manufacture） 數(shù)據(jù)形式與工具 Matlab， C/C++ SC/SV/C/C++ VHDL， Verilog SystemVerilog， e 綜合數(shù)據(jù)庫 SystemVerilog， e 后端數(shù)據(jù)庫 SystemVerilog， e Cadence SPW Synopsys CoCentric 文本編輯器 Synopsys Leda/Atrenta SpyGlass VCS/VSS/NC/Questasim Synopsys DC、 PT Cadence PKS/BuildGates MAGMA Blast RTL VCS/VSS、 NC、 QuestaSim Synopsys Astro、 ICC Hercules， Jupiterdp StarRCxt，PrimePower/power piler PT、 formality， LEC 邏輯 物理 09/11/08 3 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 主流 EDA工具 系統(tǒng)級驗(yàn)證工具 代碼質(zhì)量分析工具 仿真與數(shù)字糾錯工具 邏輯綜合工具 靜態(tài)時序分析工具 形式化驗(yàn)證工具 PR工具 物理驗(yàn)證工具 版本管理工具 09/11/08 4 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 代碼質(zhì)量分析工具 代碼質(zhì)量分析用于進(jìn)行 RTL級的設(shè)計(jì)規(guī)則檢查，分析 RTL代碼是否能夠適應(yīng)后續(xù)的流程，檢查包括狀態(tài)機(jī)的分析、競爭和冒險檢查、設(shè)計(jì)重用、綜合與可測性以及用戶自定義的檢查等。 通常使用的 EDA工具包括 Synopsys公司的Design CompilerTM、 Cadence公司的BuildGates174。 09/11/08 8 CMOS集成電路版圖 西安郵電學(xué)院 ASIC中心 形式化驗(yàn)證工具 形式化驗(yàn)證方法不需要仿真向量，通過數(shù)學(xué)方法比價實(shí)現(xiàn)與參考是否等價。 Mentor的 FormalPro等。 Synopsys公司的 Power Compiler提供簡便的功耗優(yōu)化能力，能夠自動將設(shè)計(jì)的功耗最小化，提供綜合前的功耗預(yù)估能力，讓設(shè)計(jì)者可以更好的規(guī)劃功耗分布，在短時間內(nèi)完成低功耗設(shè)計(jì)。 09/11/08 13 西安郵電學(xué)院 IT應(yīng)用型人才實(shí)訓(xùn)中心 ASIC設(shè)計(jì)中心 Linux系統(tǒng)操作簡介 Linux操作系統(tǒng) 常用操作命令 Vi編輯器 09/11/08 14 西安郵電學(xué)院 IT應(yīng)用型人才實(shí)訓(xùn)中心 ASIC設(shè)計(jì)中心 Linux系統(tǒng)操作簡介 EDA工具穩(wěn)定運(yùn)行的平臺當(dāng)屬 Unix和 Linux。托沃茲（ Linus Torvalds）在微型UNIX操作系統(tǒng) Minix的基礎(chǔ)上開發(fā)了 Linux（ Linus’s Unix）內(nèi)核，通過黑客的補(bǔ)丁將其不斷改善，打破了長久以來傳統(tǒng)商業(yè)操作系統(tǒng)的技術(shù)壟斷，為計(jì)算機(jī)技術(shù)的發(fā)展作出了巨大貢獻(xiàn)。 (3) / 表示轉(zhuǎn)到根目錄。 注釋： (1) 刪除子目錄時，要求被刪除的目錄中不存在文件或子目錄，否則無法刪除。 l 按長格式列出文件名，包括文件類型標(biāo)識，權(quán)限，鏈接數(shù)，文件主名，文件組名，字節(jié)數(shù)，日期。 注釋：當(dāng)文件內(nèi)容在屏幕上滾動顯示時，可按Ctrl+S鍵屏幕滾暫停，按 Ctrl+Q鍵繼續(xù)顯示。 選項(xiàng)： i 按提示進(jìn)行拷貝文件。 注釋：當(dāng) filename1更名為 filename2時，若 filename2已經(jīng)存在，則 filename2的內(nèi)容將被 filename1覆蓋 例如： % mv filename1 filename2 09/11/08 28 西安郵電學(xué)院 IT應(yīng)用型人才實(shí)訓(xùn)中心 ASIC設(shè)計(jì)中心 文件操作命令 6 刪除文件 命令： rm (remove) 格式： rm filename rm r directory 功能：刪除指定的文件或一個目錄中的文件。 選項(xiàng)： (1)符號法： u (user) 表示用戶本人。 + 用于給予指定用戶的許可權(quán)限。 w (write) 寫許可，指可以修改該文件或目錄的內(nèi)容。 1 (001) 表示可執(zhí)行。 09/11/08 30 西安郵電學(xué)院 IT應(yīng)用型人才實(shí)訓(xùn)中心 ASIC設(shè)計(jì)中心 文件操作命令 8 改變文件所有權(quán) 命令： chown (change owner) 格式： chown username filename chown R username directory 功能：改變文件或目錄的所有權(quán)。 選項(xiàng)： name 表示文件名 user 用戶名，選取該用戶所屬的文件 group 組名，選取該用戶組屬的文件 mtime n 選取 n天內(nèi)被修改的文件