Dracula Verification PDRACULA LOGLVS DRC-ERC Command File

Slides:



Advertisements
Similar presentations
2010/12/12
Advertisements

FCU, Department of ECE, IC Design Research Lab. TEL: # 4945 Pre-SIm , Post-Sim.
1 生物計算期末作業 暨南大學資訊工程系 2003/05/13. 2 compare f1 f2  只比較兩個檔案 f1 與 f2 ,比完後將結果輸出。 compare directory  以兩兩比對的方式,比對一個目錄下所有檔案的相 似程度。  將相似度很高的檔案做成報表輸出,報表中至少要.
Chapter 10 馬可夫鏈 緒言 如果讀者仔細觀察日常生活中所發生的 諸多事件,必然會發現有些事件的未來 發展或演變與該事件現階段的狀況全然 無關,這種事件稱為獨立試行過程 (process of independent trials) ;而另一些 事件則會受到該事件現階段的狀況影響。
1 Finding a shortest vector in a two-dimensional lattice modulo m Theoretical Computer Science, Vol 172, 1997 Gunter Rote 田錦燕95/06/01.
布林代數的應用--- 全及項(最小項)和全或項(最大項)展開式
: A-Sequence 星級 : ★★☆☆☆ 題組: Online-judge.uva.es PROBLEM SET Volume CIX 題號: Problem D : A-Sequence 解題者:薛祖淵 解題日期: 2006 年 2 月 21 日 題意:一開始先輸入一個.
:Word Morphing ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10508:word morphing 解題者:楊家豪 解題日期: 2006 年 5 月 21 日 題意: 第一行給你兩個正整數, 第一個代表下面會出現幾個字串,
1 Q10276: Hanoi Tower Troubles Again! 星級 : ★★★ 題組: Online-judge.uva.es PROBLEM SET Volume CII 題號: Q10276: Hanoi Tower Troubles Again! 解題者:薛祖淵 解題日期: 2006.
“Rule” By OX. By Check CREATE TABLE 員工薪資 ( 編號 int IDENTITY PRIMARY KEY, 薪資 smallmoney, CHECK ( 薪資 > 0 AND 薪資
指導教授:陳淑媛 學生:李宗叡 李卿輔.  利用下列三種方法 (Edge Detection 、 Local Binary Pattern 、 Structured Local Edge Pattern) 來判斷是否為場景變換,以方便使用者來 找出所要的片段。
亂數產生器安全性評估 之統計測試 SEC HW7 姓名:翁玉芬 學號:
Stat_chi21 類別資料 (Categorical data) 一種質性資料, 其觀察值可歸類於數個不相交的項目內, 例 : 性別, 滿意度, …, 一般以各項的統計次數表現. 分析此種資料,通常用卡方檢定 類別資料分析 卡方檢定 卡方檢定基本理論 一個含有 k 項的試驗,設 p i.
Graph V(G 1 )={0, 1, 2, 3, 4, 5, 6, 7, 8, 9} E(G 1 )={(0, 2), (0, 3), (1, 4), (2, 3), (2, 5), (2, 6), (3, 6), (3, 7), (4, 7), (5, 6), (5,
: OPENING DOORS ? 題組: Problem Set Archive with Online Judge 題號: 10606: OPENING DOORS 解題者:侯沛彣 解題日期: 2006 年 6 月 11 日 題意: - 某間學校有 N 個學生,每個學生都有自己的衣物櫃.
: ShellSort ★★☆☆☆ 題組: Problem D 題號: 10152: ShellSort 解題者:林一帆 解題日期: 2006 年 4 月 10 日 題意:烏龜王國的烏龜總是一隻一隻疊在一起。唯一改變烏龜位置 的方法為:一隻烏龜爬出他原來的位置,然後往上爬到最上方。給 你一堆烏龜原來排列的順序,以及我們想要的烏龜的排列順序,你.
: Problem E - Beverages ★★★☆☆ 題組: Contest Archive with Online Judge 題號: 11060: Problem E - Beverages 解題者:李重儀 解題日期: 2008 年 3 月 4 日 題意: Dilbert 大學剛畢業,他決定要和朋友出去。他有奇怪的嗜好,
1. 假設以下的敘述為一未提供 “ 捷徑計算 ” 能力的程式段,試用程 式設計的技巧,使此敘述經此改 寫的動作後,具有與 “ 捷徑計算 ” 之 處理方法相同之處理模式。 if and then E1 else E2 endif.
CH22 可靠性加速測試方法 目的 基本假設 加速試驗模式 Inverse Power Model
Monte Carlo Simulation Part.2 Metropolis Algorithm Dept. Phys. Tunghai Univ. Numerical Methods C. T. Shih.
Hint of Homework 4 jinnjy. Outline Hint of exercise 3.18.
JAVA 程式設計與資料結構 第十章 GUI Introdution III. File Chooser  File Chooser 是一個選擇檔案的圖形介面, 無論我們是要存檔還是要開啟檔案,使 用這個物件都會讓我們覺得容易且舒適。
Failure Candidate Identification for Silicon Debug 指導教授:林榮彬 教授 李婉如 許智涵.
Introduction to Java Programming Lecture 17 Abstract Classes & Interfaces.
第 5 章 深入 Response 物件 製作. 網頁的轉向與強制輸出 - 讓網頁轉彎的 Redirect 敘述 運用 Response 物件的 Redirect 方法,將瀏覽器顯 示的網頁,導向至其他網頁,語法如下: Response.Redirect 網頁路徑與名稱 此網頁路徑與名稱  若是導向到同一台.
:Problem D: Bit-wise Sequence ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10232: Problem D: Bit-wise Sequence 解題者:李濟宇 解題日期: 2006 年 4 月 16.
: The largest Clique ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11324: The largest Clique 解題者:李重儀 解題日期: 2008 年 11 月 24 日 題意: 簡單來說,給你一個 directed.
最新計算機概論 第 5 章 系統程式. 5-1 系統程式的類型 作業系統 (OS) : 介於電腦硬體與 應用軟體之間的 程式,除了提供 執行應用軟體的 環境,還負責分 配系統資源。
: Happy Number ★ ? 題組: Problem Set Archive with Online Judge 題號: 10591: Happy Number 解題者:陳瀅文 解題日期: 2006 年 6 月 6 日 題意:判斷一個正整數 N 是否為 Happy Number.
: Fast and Easy Data Compressor ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10043: Fast and Easy Data Compressor 解題者:葉貫中 解題日期: 2007 年 3.
行政院國家科學委員會工程技術發展處自動化學門 * 試以國立成功大學製造工程研究所 鄭芳田教授 產學合作計畫 : 智慧預測保養系統之設計與實作 成果報告盤點為範例 國科會工程處專題計畫成果典藏 自動化學門成果報告盤點範例.
: Ahoy, Pirates! ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11402: Ahoy, Pirates! 解題者:李重儀 解題日期: 2008 年 8 月 26 日 題意:有一個海盜島有 N 個海盜,他們的編號 (id)
: Multisets and Sequences ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11023: Multisets and Sequences 解題者:葉貫中 解題日期: 2007 年 4 月 24 日 題意:在這個題目中,我們要定義.
: Robot Motion ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: : Robot Motion 解題者:鄭昀旻 解題日期: 2009 年 5 月 20 日 題意:有一機器人會從網格的上(N)方進入, 依網格上之E、W、S、N之指令來行走,題目.
:Nuts for nuts..Nuts for nuts.. ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 10944:Nuts for nuts.. 解題者:楊家豪 解題日期: 2006 年 2 月 題意: 給定兩個正整數 x,y.
資料結構實習-一 參數傳遞.
法律系 系所科助之血淚辛酸史 劉蕙綺. 系上推行困難處 ( 學期初 ) 傳統習慣:法律系以教科書為主 很多老師沒有電子檔案 專、兼任老師使用平台的意願 因老師多為資深老師,因此在使用電腦部 份可能比較需要幫助 通常學生知道訊息的來源是藉由 BBS 或者 是系上的系板,使用意願會降低.
: Problem G e-Coins ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10306: Problem G e-Coins 解題者:陳瀅文 解題日期: 2006 年 5 月 2 日 題意:給定一個正整數 S (0
Management Abstracts Retrieval System; MARS 檢索操作.
: A-Sequence ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10930: A-Sequence 解題者:陳盈村 解題日期: 2008 年 5 月 30 日 題意: A-Sequence 需符合以下的條件, 1 ≤ a.
: Beautiful Numbers ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11472: Beautiful Numbers 解題者:邱經達 解題日期: 2011 年 5 月 5 日 題意: 若一個 N 進位的數用到該.
: 05-2 Rendezvous ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11015: 05-2 Rendezvous 解題者:池明洋 解題日期: 2006 年 4 月 16 日 題意: 給 node N 個 , edge.
Section 4.2 Probability Models 機率模式. 由實驗看機率 實驗前先列出所有可能的實驗結果。 – 擲銅板:正面或反面。 – 擲骰子: 1~6 點。 – 擲骰子兩顆: (1,1),(1,2),(1,3),… 等 36 種。 決定每一個可能的實驗結果發生機率。 – 實驗後所有的實驗結果整理得到。
: GCD - Extreme II ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11426: GCD - Extreme II 解題者:蔡宗翰 解題日期: 2008 年 9 月 19 日 題意: 最多 20,000 組測資,題目會給一個數字.
JAVA 程式設計與資料結構 第二十章 Searching. Sequential Searching Sequential Searching 是最簡單的一種搜尋法,此演 算法可應用在 Array 或是 Linked List 此等資料結構。 Sequential Searching 的 worst-case.
演算法 8-1 最大數及最小數找法 8-2 排序 8-3 二元搜尋法.
845: Gas Station Numbers ★★★ 題組: Problem Set Archive with Online Judge 題號: 845: Gas Station Numbers. 解題者:張維珊 解題日期: 2006 年 2 月 題意: 將輸入的數字,經過重新排列組合或旋轉數字,得到比原先的數字大,
Linguistics phonetic symbols. 先下載 IPA 字型檔案,執行安裝。 由於這個程式的字型目錄設定錯誤, 所以等重新開機時就會發現字型消失。 所以必須根據以下步驟來讓 Windows 加入 IPA 字型。
The effect of task on the information-related behaviors of individuals in a work-group environment. The effect of task on the information-related behaviors.
Chapter 10 m-way 搜尋樹與B-Tree
: Function Overloading ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11032:Function Overloading 解題者:許智祺 解題日期: 2007 年 5 月 8 日 題意:判對輸入之數字是否為.
Probability Distribution 機率分配 汪群超 12/12. 目的:產生具均等分配的數值 (Data) ,並以 『直方圖』的功能計算出數值在不同範圍內出現 的頻率,及繪製數值的分配圖,以反應出該 機率分配的特性。
Biological Science Database 個人化服務設定步驟. Biological Science Database 僅提供專題選 粹服務 專題選粹 (Alerts) :查詢後,提供儲存檢 索策略的功能,日後每週將符合條件的 更新資料,採 方式通知。每筆設定 最多每週可收到.
SQL 進階查詢.
冷凍空調自動控制 - 系統性能分析 李達生. Focusing here … 概論 自動控制理論發展 自控系統設計實例 Laplace Transform 冷凍空調自動控制 控制系統範例 控制元件作動原理 控制系統除錯 自動控制理論 系統穩定度分析 系統性能分析 PID Controller 自動控制實務.
:Stupid Sequence ★★★☆☆ 題組: Contest Archive with Online Judge 題號: 11319: Stupid Sequence 解題者:李育賢 解題日期: 2008 年 11 月 23 日 題意: 一個公式 f(x)=a 0 +a 1 x+a.
-Artificial Neural Network- Matlab操作介紹 -以類神經網路BPN Model為例
NVivo 7在文件分析應用.
資料結構實習-六.
: SAM I AM ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11419: SAM I AM 解題者:李重儀 解題日期: 2008 年 9 月 11 日 題意: 簡單的說,就是一個長方形的廟裡面有敵人,然 後可以橫的方向開砲或縱向開砲,每次開砲可以.
OmniFile Full Text 系列資料庫 個人化服務設定步驟. 此相關資料庫之個人化服 務只提供類似專題選粹的 服務,然無提供 mail 通知的 服務,讀者可建立個人 ID , 並儲存檢索策略,日後需 再進入該資料庫,查詢檢 索策略之新進文章。 導航目次 個人化服務說明 個人帳號密碼申請 個人化服務設定.
數字系統與資料表示法 教師: 陳炯勳 數系轉換 r進制數字 稱為 base r或 radix r 有r個計數符號,計數順序逢r歸零(進位) A n A n - 1 ‥‥A 2 A 1 A 0 ﹒A -1 A -2 ‥‥A -m 其中A n 及A.
:Problem E.Stone Game ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10165: Problem E.Stone Game 解題者:李濟宇 解題日期: 2006 年 3 月 26 日 題意: Jack 與 Jim.
幼兒行為觀察與記錄 第八章 事件取樣法.
1 Introduction to Java Programming Lecture 3 Mathematical Operators Spring 2009.
: How many 0's? ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11038: How many 0’s? 解題者:楊鵬宇 解題日期: 2007 年 5 月 15 日 題意:寫下題目給的 m 與 n(m
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆 資料分析與表達.
Failure Candidate Identification for Silicon Debug 指導教授 : 曾王道 學生 : 卜竹君 許正明.
ERP Purge Manual 2007/10/2 TinaLee. 2 Purge Job  Interface Purge  Transaction Purge  Other DataPurge (Like Customer 、 Vendor 、 Employee Data)
Presentation transcript:

Dracula Verification PDRACULA LOGLVS DRC-ERC Command File LVS Command File LPE Command File Schematic layout CDL Out GDS II Database PDRACULA CDL Netlist LOGLVS DRC/ERC LVS LVSLOGIC.DAT LPE SPICE01.DAT

Run Dracula LPE (I) 1. LPE netlist 的 node name 要跟 schematic 相對應,故工作目錄中應該含有以下三個檔案:  MyCellName.db,LPE command file ( lpe.com ) 與 Schematic Netlist( CDL out 後的結果) 2.執行 LOGLVS 將 netlist 轉換成 LVSLOGIC.DAT  此步驟於 LVS 中示範過,方法相同。 3.執行PDRACULA來Compile LPE command file(步驟和 DRC/ERC command file相同)  (請確定前述的LVSLOGIC.DAT檔案已經產生) [vlsi20]:~/Dracula3m/Lpe>PDRACULA ******************************************************************************* */N* DRACULA3 ( REV. 4.51.0398 / SUN-4 S5R4 /GENDATE: 19-MAR-98/14 ) *** ( Copyright 1995, Cadence ) *** */N* EXEC TIME =13:45:08 DATE =13-APR-99 HOSTNAME = vlsi20 :/g lpe.com n :/f ** NOTE : NO OUTPUT NEEDED SO SETTING SUMMARY-ONLY=YES FOR THIS RUN ONLY ** CREATING : COMMAND FILE : jxrun.com ** NOTE : THIS JOB HAS 60 STAGES END OF DRACULA COMPILATIONS * 0.136 Mbytes allocated to the current process. * 0.000 Mbytes is still in use. * THE END OF PROGRAM TIME = 13:46:27 DATE =13-APR-99 *

Run Dracula LPE (II) 3. 執行 在 compile 完 command file 後若無任何錯誤會產生一個 jxrun.com的可執行檔 [vlsi20]:~/Dracula3m/Lpe>jxrun.com > lep.log& Ã 4. 檢視 產生LPE file之前DRACULA會先做LPECHK(類似 LVS),要LPECHK 正確無誤才會產生LPE file。 以下為所轉出的LPE file 之例子 * * CADENCE/LPE SPICE FILE : SPICE01 * DATE : 13-APR-99 ****** MOS XTOR PARAMETERS FROM : 7MOSPNET *.EQUI CKIN=5 CLOCK=6 GND=0 NET18=9 NET22=8 NET23=7 NET37=13 NET42=19 *+ NET6=3 NET7=4 NET8=14 VDD=2 *.GLOBAL 0 2 .SUBCKT SPICE01 5 6 9 8 7 13 19 3 4 14

Run Dracula LPE (III) * *----- TOTAL # OF MOS TRANSISTORS FOUND : 41 M1 0 4 3 0 NCH L=0.60U W=1.20U AD=1.86P PD=5.50U AS=1.86P PS=5.50U M2 4 20 21 0 NCH L=0.60U W=1.20U AD=1.86P PD=5.50U AS=0.45P PS=1.95U M3 0 5 21 0 NCH L=0.60U W=1.20U AD=1.86P PD=5.50U AS=0.45P PS=1.95U M4 0 8 7 0 NCH L=0.60U W=66.00U AD=59.95P PD=98.80U AS=52.80P PS=85.20U * *----- TOTAL # OF MOS TRANSISTORS FOUND : 41 *----- COMMENTED : 0*不可以有COMMENTED 值存在* * 有 COMMENT 表示 Layout 上的 MOS 與 Schematic 上的 MOS 沒有完全對應,應該找出錯誤,後再重做 LPE* ******* DIODE PARAMETERS FROM : 7DIOPNET ****** RESISTORS PARAMETERS FROM : 7RESXNET *----- TOTAL # OF RESISTORS FOUND : 0 COMMENTED : 0 CC4 6 0 9.47862E-14 *所抽出的雜散電容* CC5 7 0 1.27599E-13 CC6 8 0 6.19163E-14 CC7 9 0 2.30853E-14 CC8 10 0 7.05999E-15 . *----- TOTAL # OF CAPS FOUND : 18 *----- COMMENTED : 0 .ENDS

Post Layout Simulation (post-sim) Two Methods of Post Layout Simulation (post-sim) Layout Parameter Extraction (LPE) [Spice Netlist] EPIC power mill time mill path mill HSPICE

Post-Sim Using HSPICE Pre-Sim Spice file Post-Sim Spice file Title--Optimize Buffer Size with Wire Load 160fF .inc '/vlsi-proj/mtpv1/Spice/model0.6V2' *Netlist CC0 Z gnd! 3.9e-12 $[CP] MM5 net19 net27 vdd! vdd! PM W=76.8e-6 L=600e-9 M=1.0 MM4 Z net19 vdd! vdd! PM W=315e-6 L=600e-9 M=1.0 MM2 net31 I vdd! vdd! PM W=4.8e-6 L=600e-9 M=1.0 MM0 net27 net31 vdd! vdd! PM W=19.2e-6 L=600e-9 M=1.0 MM7 net19 net27 gnd! gnd! NM W=38.4e-6 L=600e-9 M=1.0 MM6 Z net19 gnd! gnd! NM W=146e-6 L=600e-9 M=1.0 MM3 net31 I gnd! gnd! NM W=2.4e-6 L=600e-9 M=1.0 MM1 net27 net31 gnd! gnd! NM W=9.6e-6 L=600e-9 M=1.0 *Parameters .param supply=3.3 freq=300MEG +t_ini=2.0n t_rf=0.5n t_cycle='1/freq' *+t_width='t_cycle-1.1n' +t_width='(t_cycle-2*t_rf)/2' *Independent/Dependent Power Supply vpower vdd! gnd! supply *Input Signal vin I 0 pulse(0 supply t_ini t_rf t_rf t_width t_cycle) . Title--Optimize Buffer Size with Wire Load 160fF .inc '/vlsi-proj/mtpv1/Spice/model0.6V2' *Netlist CC0 Z gnd! 3.9e-12 $[CP] M21 0 I 9 0 NM L=0.60U W=4.80U AD=6.72P PD=12.40U AS=6.72P PS=12.40U M75 vdd I 9 vdd PM L=0.60U W=12.20U AD=17.08P PD=27.20U AS=17.08P PS=27.20U M17 0 9 8 0 NM L=0.60U W=19.60U AD=22.05P PD=38.40U AS=15.68P PS=26.00U M71 vdd 9 8 vdd PM L=0.60U W=48.00U AD=54.00P PD=81.00U AS=38.40P PS=54.40U M4 0 8 7 0 NM L=0.60U W=66.00U AD=59.95P PD=98.80U AS=52.80P PS=85.20U M58 vdd 8 7 vdd PM L=0.60U W=159.60U AD=144.97P PD=208.00U AS=128.48P PS=185.20U M16 0 7 6 0 NM L=0.60U W=136.00U AD=124.95P PD=184.70U AS=108.80P PS=148.80U M47 vdd 7 6 vdd PM L=0.60U W=480.00U AD=420.00P PD=614.00U AS=384.00P PS=492.80U *Parameters .param supply=3.3 freq=300MEG +t_ini=2.0n t_rf=0.5n t_cycle='1/freq' *+t_width='t_cycle-1.1n' +t_width='(t_cycle-2*t_rf)/2' *Independent/Dependent Power Supply vpower vdd! gnd! supply