971410 吳季恆 971443 張書瑋. 摘要現今許多 IC 設計公司所使用的 multi-supply voltage island(MSV) 和 power gating (PSO) 低功耗設計技術，即是將晶片上的各個 block 分為 power-on 以及其他可關閉之 power.

Slides:

Advertisements

Similar presentations

FCU, Department of ECE, IC Design Research Lab. TEL: # 4945 Pre-SIm ， Post-Sim.

Advertisements

布林代數的應用--- 全及項(最小項)和全或項(最大項)展開式

建立使用案例敘述 --Use Case Narrative

第七章抽樣與抽樣分配蒐集統計資料最常見的方式是抽查。這牽涉到兩個問題：抽出的樣本是否具有代表性?是否能反應出母體的特徵?

如何將數字變成可用之資訊現代化資料處理與應用概念. 如何將數字變成可用之資訊人最容易接受的訊息是圖像化資訊。在一堆數字中，要進行比較分析，一般會使用表格形式計算與分析。所以一般我們會將數字依關聯性，轉換成表格計算與分析。此表格一般稱試算表或稱表格。再將結果轉換為圖表，進行比較與分析。

指導教授：陳淑媛學生：李宗叡李卿輔.  利用下列三種方法 (Edge Detection 、 Local Binary Pattern 、 Structured Local Edge Pattern) 來判斷是否為場景變換，以方便使用者來找出所要的片段。

倫理準則：機密性. Confidentiality By: Angela Lo. 倫理準則：機密性. Confidentiality 醫護人員有更多的機會接觸病患的隱私。隱私包括兩方面︰一是病患的身體，另一是有關病患的機密的訊息。醫護人員有更多的機會接觸病患的隱私。隱私包括兩方面︰一是病患的身體，另一.

CH-23 失效原因樹分析 FTA Failure Tree Analysis. 前言為了提昇系統可靠度，產品在開發階段，利用類似品管方法之魚骨圖分析手法，找出潛在缺點，並加以改進，此種分析方法稱之為失效原因樹分析法 (Failure Tree Analysis)– FTA 。 FTA 是一種系統化的方法，可以有效的找出.

1 Web of Science 利用指引單元二瀏覽與處理查詢結果. 2 瀏覽檢索結果查出的結果，預設以時間排列，使用者可改變結果的排列方式：還可以依被引用次數、相關度、第一作者、刊名、出版年等排序回到前先查的結果畫面點選想看資料的完整書目本館訂購範圍的期刊全文，便可直接連結.

五小專案黃詩晴章乃云. 目錄計算機智慧盤拼圖記憶大挑戰數學題庫心得參考文獻.

1 實驗二 : SIP User Mobility 實驗目的藉由 Registra 和 Redirect Server 的設計，深入瞭解 SIP 的運作及訊息格式。實作部分（ 1 ）實作一個 Registrar 來接收 SIP REGISTER ，而且要將 REGISTER 中 Contact.

: OPENING DOORS ? 題組： Problem Set Archive with Online Judge 題號： 10606: OPENING DOORS 解題者：侯沛彣解題日期： 2006 年 6 月 11 日題意： - 某間學校有 N 個學生，每個學生都有自己的衣物櫃.

1.1 電腦的特性電腦能夠快速處理資料：電腦可在一秒內處理數百萬個基本運算，這是人腦所不能做到的。原本人腦一天的工作量，交給電腦可能僅需幾分鐘的時間就處理完畢。電腦能夠快速處理資料：電腦可在一秒內處理數百萬個基本運算，這是人腦所不能做到的。原本人腦一天的工作量，交給電腦可能僅需幾分鐘的時間就處理完畢。

STAT0_sampling Random Sampling  母體： Finite population & Infinity population  由一大小為 N 的有限母體中抽出一樣本數為 n 的樣本，若每一樣本被抽出的機率是一樣的，這樣本稱為隨機樣本 (random sample)

1. 假設以下的敘述為一未提供 “ 捷徑計算 ” 能力的程式段，試用程式設計的技巧，使此敘述經此改寫的動作後，具有與 “ 捷徑計算 ” 之處理方法相同之處理模式。 if and then E1 else E2 endif.

各種線上電子資源的特異功能 STICnet 的 SDI 專題訂閱服務 2003/4/28 修改. 無論校內外皆可使用。連線至

第 18 章名稱空間與例外處理 18-1 名稱空間 18-1 名稱空間 18-2 例外處理 18-2 例外處理.

McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆資料分析與表達.

Failure Candidate Identification for Silicon Debug 指導教授：林榮彬教授李婉如許智涵.

© The McGraw-Hill Companies, Inc., 2008 第 6 章製造流程的選擇與設計.

圖片索引專題指導教授：陳淑媛教授黃伯偉林育瑄. 動機 & 理念  目前圖像檢索系統中使用的大多都為利用文字標籤圖像或是圖像輪廓特徵來進行搜尋，然而輪廓特徵的缺點卻是所有組成圖像的線條都要逐一處理相當耗時。  所以本研究的目標在於，提出一個以像素點為特徵的有效率與正確率的圖像檢索演算法實作。

軟體保護技術及其弱點序列號保護與弱點. 組員名單資訊三乙 D 吳俊緯資訊三乙 D 吳俊緯資訊三乙 D 陳品端資訊三乙 D 陳品端.

Chapter 13 塑模靜態觀點：物件圖 Static View : Object Diagram.

Introduction to Java Programming Lecture 17 Abstract Classes & Interfaces.

第 5 章深入 Response 物件製作. 網頁的轉向與強制輸出 - 讓網頁轉彎的 Redirect 敘述運用 Response 物件的 Redirect 方法，將瀏覽器顯示的網頁，導向至其他網頁，語法如下： Response.Redirect 網頁路徑與名稱此網頁路徑與名稱  若是導向到同一台.

: The largest Clique ★★★★☆ 題組： Contest Archive with Online Judge 題號： 11324: The largest Clique 解題者：李重儀解題日期： 2008 年 11 月 24 日題意：簡單來說，給你一個 directed.

最新計算機概論第 5 章系統程式. 5-1 系統程式的類型作業系統 (OS) ：介於電腦硬體與應用軟體之間的程式，除了提供執行應用軟體的環境，還負責分配系統資源。

: Fast and Easy Data Compressor ★★☆☆☆ 題組： Problem Set Archive with Online Judge 題號： 10043: Fast and Easy Data Compressor 解題者：葉貫中解題日期： 2007 年 3.

CH.8 偵錯 Visual Basic CH.8 偵錯 Visual Basic  資三甲   章乃云三種類型的錯誤三種類型的錯誤.

CH 15- 元件可靠度之驗證  驗證方法  指數模式之可靠度驗證  韋式模式之可靠度驗證  對數常態模式之可靠度驗證  失效數為零時之可靠度估算  各種失效模式之應用.

資料庫程式設計與系統管理 SQL Server 2005 Express 第六章進階資料庫設計.

: Ahoy, Pirates! ★★★★☆ 題組： Contest Archive with Online Judge 題號： 11402: Ahoy, Pirates! 解題者：李重儀解題日期： 2008 年 8 月 26 日題意：有一個海盜島有 N 個海盜，他們的編號 (id)

第二十一章研究流程、論文結構　　　　　　　與研究範例 21-1 　研究流程 21-2 　論文結構 21-3 　研究範例.

Fugacity Coefficient and Fugacity

生產系統導論生產系統簡介績效衡量現代工廠之特徵管理機能.

資料結構實習-一參數傳遞.

Lecture 7 Sorting in Linear Time. Sorting in Linear Time2 7.1 Lower bounds for sorting 本節探討排序所耗用的時間複雜度下限。任何一個以比較為基礎排序的演算法，排序 n 個元素時至少耗用 Ω(nlogn) 次比較。

法律系系所科助之血淚辛酸史劉蕙綺. 系上推行困難處 ( 學期初 ) 傳統習慣：法律系以教科書為主很多老師沒有電子檔案專、兼任老師使用平台的意願因老師多為資深老師，因此在使用電腦部份可能比較需要幫助通常學生知道訊息的來源是藉由 BBS 或者是系上的系板，使用意願會降低.

計算機概論演算法與程式語言李明山.

Management Abstracts Retrieval System; MARS 檢索操作.

: A-Sequence ★★★☆☆ 題組： Problem Set Archive with Online Judge 題號： 10930: A-Sequence 解題者：陳盈村解題日期： 2008 年 5 月 30 日題意： A-Sequence 需符合以下的條件， 1 ≤ a.

方案設計 —評估考核張紉.

函式 Function Part.2 東海大學物理系‧資訊教育施奇廷. 遞迴（ Recursion ）函式可以「呼叫自己」，這種動作稱為「遞迴」此程式的執行結果相當於陷入無窮迴圈，無法停止（只能按 Ctrl-C ）這給我們一個暗示：函式的遞迴呼叫可以達到部分迴圈的效果.

Image Interpolation Use SSE 指導教授 : 楊士萱學生 : 楊宗峰日期 :

演算法 8-1 最大數及最小數找法 8-2 排序 8-3 二元搜尋法.

: Expect the Expected ★★★★☆ 題組： Contest Archive with Online Judge 題號： 11427: Expect the Expected 解題者：李重儀解題日期： 2008 年 9 月 21 日題意：玩一種遊戲 (a game.

Chapter 3 Entropy : An Additional Balance Equation

845: Gas Station Numbers ★★★ 題組： Problem Set Archive with Online Judge 題號： 845: Gas Station Numbers. 解題者：張維珊解題日期： 2006 年 2 月題意：將輸入的數字，經過重新排列組合或旋轉數字，得到比原先的數字大，

T H O M S O N S C I E N T I F I C ISI Web of Knowledge 新功能與提升 2005 年第 3 季.

Structural Equation Modeling Chapter 6 CFA 根據每個因素有多重指標，以減少測量誤差並可建立問卷的構念效度驗證性因素分析.

廣電新聞播報品質電腦化評估系統之研發國立政治大學資訊科學系指導教授：廖文宏學生：蘇以暄.

: Function Overloading ★★★☆☆ 題組： Problem Set Archive with Online Judge 題號： 11032:Function Overloading 解題者：許智祺解題日期： 2007 年 5 月 8 日題意：判對輸入之數字是否為.

描述統計描述統計(Descriptive Statistics)-將蒐集到的資料加以整理和記錄,並以數字和統計圖表的方式來分析及解釋資料所具有的特性. 基本統計值(平均數,中位數,標準差,變異量….) 相關性測量(卡方,相關係數,迴歸…)

網路介紹及其運用講師陳炯勳. 5-2 IP 協定 ( 一 ) IP 協定運作 (1) – 網路成員：主機 (Host) 與路由器 (Router) – 路由表 – 電報傳輸運作.

概念性產品企劃書呂學儒李政翰.

Probability Distribution 機率分配汪群超 12/12. 目的：產生具均等分配的數值 (Data) ，並以『直方圖』的功能計算出數值在不同範圍內出現的頻率，及繪製數值的分配圖，以反應出該機率分配的特性。

1/17 A Study on Separation between Acoustic Models and Its Application Author : Yu Tsao, Jinyu Li, Chin-Hui Lee Professor : 陳嘉平 Reporter : 許峰閤.

1 © 2011 台灣培生教育出版 (Pearson Education Taiwan). 2 學習目標 1. 當面對可預測的變異性時，同步管理並改善供應鏈中的供給。 2. 當面對可預測的變異性時，同步管理並改善供應鏈中的需求。 3. 當面對可預測的變異性時，使用總體規劃將利潤最大化。

: Help My Brother ★★★☆☆ 題組： Problem Set Archive with Online Judge 題號： 11033: Help My Brother 解題者：呂明璁解題日期： 2007 年 5 月 14 日.

無線通訊網路 Mac 層 TDM 通訊模式的操作與效能研究專題生 : 林書弘、蔡逸祥、毛建翔、王政華指導教授 : 黃依賢.

冷凍空調自動控制 - 系統性能分析李達生. Focusing here … 概論自動控制理論發展自控系統設計實例 Laplace Transform 冷凍空調自動控制控制系統範例控制元件作動原理控制系統除錯自動控制理論系統穩定度分析系統性能分析 PID Controller 自動控制實務.

Teacher : Ing-Jer Huang TA : Chien-Hung Chen 2015/6/30 Course Embedded Systems : Principles and Implementations Weekly Preview Question CH7.1~CH /12/26.

McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 壹企業研究導論.

OmniFile Full Text 系列資料庫個人化服務設定步驟. 此相關資料庫之個人化服務只提供類似專題選粹的服務，然無提供 mail 通知的服務，讀者可建立個人 ID ，並儲存檢索策略，日後需再進入該資料庫，查詢檢索策略之新進文章。導航目次個人化服務說明個人帳號密碼申請個人化服務設定.

數字系統與資料表示法教師：陳炯勳數系轉換ｒ進制數字稱為 base ｒ或 radix ｒ有ｒ個計數符號，計數順序逢ｒ歸零（進位）Ａ n Ａ n － 1 ‥‥Ａ 2 Ａ 1 Ａ 0 ﹒Ａ -1 Ａ -2 ‥‥Ａ -m 其中Ａ n 及Ａ.

1 寬頻分碼多重進接無線通訊上鏈傳收系統之設計與製作 Transceiver System Design and Implementation for WCDMA Uplink Communication 國科會計畫 (1999/8 – 2002/7) 簡介 2004/1.

第五章IIR數位濾波器設計濾波器的功能乃對於數位信號進行處理﹐ 以滿足系統的需求規格。其作法為設計一個系統的轉移函數﹐或者差分方程式﹐使其頻率響應落在規格的範圍內。本章探討的是其中一種方法﹐稱為Infinite impulse register(IIR)。 IIR架構說明。各種不同頻帶(Band)濾波器的設計方法。

: Finding Paths in Grid ★★★★☆ 題組： Contest Archive with Online Judge 題號： 11486: Finding Paths in Grid 解題者：李重儀解題日期： 2008 年 10 月 14 日題意：給一個 7 個 column.

幼兒行為觀察與記錄第八章事件取樣法.

McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆資料分析與表達.

Presentation transcript:

吳季恆張書瑋

摘要現今許多 IC 設計公司所使用的 multi-supply voltage island(MSV) 和 power gating (PSO) 低功耗設計技術，即是將晶片上的各個 block 分為 power-on 以及其他可關閉之 power domain 。而當 block 停止供電後，會產生訊號不明之問題，因此必須在不同 power domain 相連之間上插入 isolation cell ，以避免系統接受到錯誤信號而產生錯誤之狀況。然而這項設計很可能會導致一些常見的故障，因此必須對整個 IC 的 logic netlist structure 和 low power intent 加以分析並找出不合規範的設計。不過，傳統基於模擬的驗證方法相當不具彈性同時也缺乏效率，因此不適合於現今的各種低耗設計技術，取而代之的是採取 structural checking 的方法來改善驗證設計的正確性以及效率。

簡介問題描述撰寫一個程式，將讀入之電路依照 power intent 中的限制，在電路中檢查 isolation cell 及 level shifter 的相關資訊，避免整體的電路設計出現不預期的錯誤。軟體功能能夠讀入電路檔 (.v) 、標準元件庫 (.lib) 以及相關的 power intent 限制條件 (.pi) ，並針對電路中的 isolation cell 及 level shifter 進行檢查和分析，以提供使用者辨別分析的結果是否有符合原先的需求，將所檢查出的錯誤訊息轉存成 Error Report(.rpt) 檔案後輸出。

程式功能圖例

演算法流程圖  ISO_1: Power of isolation control pin can be shut-off while isolation cell is power-on.

 ISO_2: Source and destination domains of the isolation cells are the same.

 ISO_3: Isolation instance location does not match isolation rule.

 ISO_4: Power domain crossing does not have user-defined isolation cell.

 ISO_5: Isolation cell control pin is not connected to the specified signal.

 ISO_6: Isolation instance control polarity is different than the specification of isolation rule control.

 LS_1: Level shifter input voltage value is different than specified by level shifter definition.

 LS_2: Level shifter output voltage value is different than specified by level shifter definition.

 LS_3: Power domain crossing does not have user-defined level shifter cell.

 LS_4: Source and destination domains of the level shifter cells are the same.

整體程式流程

程式輸出  本程式在完成所有的檢查工作後會將所有的 Error Message 輸出成 Report 檔 (.rpt) ，以下為三個範例 case1: Level shifter input voltage value is different than specified by level shifter definition [LS_1] [Level shifter input voltage value is different than specified by level shifter definition][Occurrence: 1] - [#1] [Pin 'A' of 'sh0' (module LevLH ) is connected to domain TDON (Power Voltage 1V) Expected voltage domain is 0.8V]

case2: Level shifter output voltage value is different than specified by level shifter definition [LS_2] [Level shifter output voltage value is different than specified by level shifter definition][Occurrence: 1] - [#1] [Pin 'Y' of 'sh1' (module LevLH2 ) is connected to domain TDON2 (Power Voltage 1.2V) Expected voltage domain is 1.5V] case3: Source and receiver signal voltages of level shifter cell are the same in this path [LS_4] [Source and receiver signal voltages of level shifter cell are the same in this path] [Occurrence:2] - [#1] [Level shifter 'sh1' (LevHL) has the same input/output voltage domain in all power modes Input pin driver: u1_1/u_or2/Y Output pin load: u1_2/u_or2/B] [#2] [Level shifter 'sh0' (LevLH) has the same input/output voltage domain in all power modes Input pin driver: u1_1/u_an2/Y Output pin load: u1_2/u_or2/A]

貢獻及成果簡述此驗證程式能夠有效及正確的檢查所有的條件限制，在很短的時間及合法使用有效的記憶體空間內，即可以完成所有的步驟，並提供相關的訊息給使用者作進一步的處理。

參考資料 1. Si2 Common Power Format 1.0/ The IEEE Standard B. Kappor, et al., "Tutorial: SoC Power Management Verification and Testing," Microprocessor Test and Verification, Ninth International Workshop on 8-10 Dec Page(s):67 – Cadence Conformal Low Power Reference Manual