課程名稱EDA技術(shù)實(shí)驗(yàn)C

課程名稱EDA技術(shù)實(shí)驗(yàn)C西安郵電大學(xué)教學(xué)周數(shù)16計(jì)劃學(xué)時(shí)48教學(xué)日歷主講教師鄧軍勇輔導(dǎo)教師周學(xué)時(shí)數(shù)3實(shí)驗(yàn)學(xué)時(shí)27所在院系電子工程學(xué)院微電子學(xué)系(課程起止時(shí)間:2016年9月1日至2016年12月15日)講課21習(xí)題授課班級電路1303周次日期教學(xué)內(nèi)容學(xué)時(shí)實(shí)驗(yàn)學(xué)時(shí)重點(diǎn)與難點(diǎn)作業(yè)實(shí)際執(zhí)行情況（含教學(xué)條件情況）日/月課程介紹第一章EDA工具概述及Linux系統(tǒng)簡介硬連接與軟連接11/9Linux常用命令練習(xí)（實(shí)22命令輸入技巧實(shí)驗(yàn)報(bào)告一、二驗(yàn)一）文件屬性的更改SHELL簡單編程（實(shí)驗(yàn)二）28/9VIM的常用命令與演示11修改與替換命令實(shí)驗(yàn)報(bào)告三VIM練習(xí)（實(shí)驗(yàn)三）Vimtutor的使用第二章NC簡介與演示315/9NC實(shí)驗(yàn)：圖形方式仿真22仿真流程實(shí)驗(yàn)報(bào)告四（實(shí)驗(yàn)四）422/9NC實(shí)驗(yàn)：命令方式仿真11Make文件編寫，測試實(shí)驗(yàn)報(bào)告五（實(shí)驗(yàn)五）文件的改寫第三章TCL簡介與操作賦值與替換、表達(dá)式等529/9TCL基本命令練習(xí)（實(shí)22實(shí)驗(yàn)報(bào)告六TCL的使用方法驗(yàn)六）66/10TCL高級命令練習(xí)（實(shí)11鏈表和控制流語句的實(shí)驗(yàn)報(bào)告七驗(yàn)七）使用方法第四章邏輯綜合工具713/10DC簡介122綜合步驟實(shí)驗(yàn)報(bào)告八DC圖形化界面練習(xí)DCGUI操作流程（實(shí)驗(yàn)八）820/10DC腳本編寫2基于TCL的綜合腳本927/10DC命令行操作（實(shí)驗(yàn)4設(shè)計(jì)約束與設(shè)計(jì)劃分實(shí)驗(yàn)報(bào)告十九、實(shí)驗(yàn)十）103/11邏輯綜合優(yōu)化策略2編譯方法1110/11優(yōu)化方法練習(xí)（實(shí)驗(yàn)十4環(huán)境屬性與時(shí)序例外實(shí)驗(yàn)報(bào)告十一、十一、實(shí)驗(yàn)十二）二1217/11第五章STA工具2靜態(tài)時(shí)序分析概念與PrimeTime作用1324/11PT練習(xí)（實(shí)驗(yàn)十三4PT操作流程實(shí)驗(yàn)報(bào)告十三1-4.3）時(shí)序分析約束生成時(shí)鐘141/12PT練習(xí)（實(shí)驗(yàn)十三2實(shí)驗(yàn)報(bào)告十三報(bào)告分析4.4-5）第六章形式化驗(yàn)證工邏輯錐、比較點(diǎn)具158/1222形式化驗(yàn)證的基本流實(shí)驗(yàn)報(bào)告十四Formality操作流程（實(shí)程驗(yàn)十四）1615/12Mismatch的識別（實(shí)2不匹配點(diǎn)存在的原因?qū)嶒?yàn)報(bào)告十五、十驗(yàn)十五）

及忽略方法

六設(shè)計(jì)缺失的識別（實(shí)驗(yàn)

設(shè)計(jì)缺失存