MultiCore ATPG 2010 IC/CAD Contest 組員:林中正、曾國賢. Goal.

Slides:



Advertisements
Similar presentations
C Program Design Supplements 主講人:虞台文. Content Who takes the return value of main() ?
Advertisements

2010/12/12
1 生物計算期末作業 暨南大學資訊工程系 2003/05/13. 2 compare f1 f2  只比較兩個檔案 f1 與 f2 ,比完後將結果輸出。 compare directory  以兩兩比對的方式,比對一個目錄下所有檔案的相 似程度。  將相似度很高的檔案做成報表輸出,報表中至少要.
Divide-and-Conquer. 什麼是 divide-and-conquer ? Divide 就是把問題分割 Conquer 則是把答案結合起來.
: Arrange the Numbers ★★★☆☆ 題組: Contest Archive with Online Judge 題號: 11481: Arrange the Numbers 解題者:李重儀 解題日期: 2008 年 9 月 13 日 題意: 將數列 {1,2,3, …,N}
布林代數的應用--- 全及項(最小項)和全或項(最大項)展開式
I/O FUNCTIONS 輸入 與 輸出. #include int fclose(FILE *); int feof(FILE *); int fflush(FILE *); int fgetc(FILE *); getchar(); char *fgets(char*, int, FILE*);
序列分析工具:MDDLogo 謝勝任 林宗慶 指導教授:李宗夷 教授.
Android Class vs. Jar 建國科技大學 資管系 饒瑞佶 2013/4 V1. 從 MyAndroidProject 專案改起 將 BMI_method.java 改寫成 class 方式 步驟 1 :在原 package 內新增一個 class.
: Boxes ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11003: Boxes 解題者:蔡欣燁 解題日期: 2007 年 3 月 19 日.
五小專案 黃詩晴 章乃云. 目錄 計算機 智慧盤 拼圖 記憶大挑戰 數學題庫 心得 參考文獻.
:New Land ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11871: New Land 解題者:施博修 解題日期: 2011 年 6 月 8 日 題意:國王有一個懶兒子,為了勞動兒子,他想了一個 辦法,令他在某天早上開始走路,直到太陽下山前,靠.
: 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 大學剛畢業,他決定要和朋友出去。他有奇怪的嗜好,
:Quarter-Finals with Brazil!? No!!! ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11041: Quarter-Finals with Brazil!? No!!! 解題者:呂彥澂 解題日期:
Canonical Correlation 典型相關 目標 1 – 決定兩組變數 ( 對相同事務的衡量 ) 是否獨立, 或決定這兩組變數之間關係的強度 –Example: Y1+Y2+…+Ym=X1+X2+…Xn ( 一般式 ) Y1, Y2,…Ym 是否與 X1, X2,..,Xn 有相關 / 無相關.
高容錯感測網路之研究 類別 ( 主持人或共同 主持人 ) 姓名單位與職稱在本計畫中負責之工作與負責工作相關之重要簡歷 總主持人俞征武副教授 總計劃之推動及子計劃間之 協調 計算機中心主任 子計劃一主持人王俊鑫助理教授主持 無線感測網路之省電及 安全通訊協定之設計 計算機中心網路學習組長 子計劃一主持人歐陽雯助理教授主持.
: The Playboy Chimp ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10611: The Playboy Chimp 解題者:蔡昇宇 解題日期: 2010 年 2 月 28 日 題意:給一已排序的數列 S( 升冪.
1 網路同步學習 如何使用中山大學管理學院知識管理平台 愷中 製作. 2 如何登入中山大學網路學習平台 1. 首先, 請輸入 2. 點選申請帳號, 依照螢幕所示, 輸入個人資訊.
Department of Air-conditioning and Refrigeration Engineering/ National Taipei University of Technology 模糊控制設計使用 MATLAB 李達生.
JAVA 程式設計與資料結構 第十章 GUI Introdution III. File Chooser  File Chooser 是一個選擇檔案的圖形介面, 無論我們是要存檔還是要開啟檔案,使 用這個物件都會讓我們覺得容易且舒適。
IR 組員 : 資工 4A 王俊傑 資工 4B 陳國富 資工 4B 夏希璿.
: Abundance and Perfect Numbers ★★★★☆ 題組: Contest Volumes with Online Judge 題號: 10914: Abundance and Perfect Numbers 解題者:劉洙愷 解題日期: 2008 年 5 月 2.
: Next Same-Factored ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: : Next Same-Factored 解題者:蔡宗翰 解題日期: 2008 年 5 月 9 日 題意: 給一個整數 X ,求出.
計算機概論 - 排序 1 排序 (Sorting) 李明山 編撰 ※手動換頁.
專題報告 指導教授 曾王道 陳映蓉 賴亭文. T HE COMPITITION 教育部主辦「九十八學年度大學校院積體電路電腦 輔助設計 (CAD) 軟體製作競賽」 題目:定題組 A2組 題目內容: Multi-Core ATPG.
: Fast and Easy Data Compressor ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10043: Fast and Easy Data Compressor 解題者:葉貫中 解題日期: 2007 年 3.
專題成果報告書 ARM 的 Binary code 轉 Verilog code 之翻譯器 元智大學資訊工程學系 組員︰張立蓉、李佳珉 指導教授︰楊正仁教授.
行政院國家科學委員會工程技術發展處自動化學門 * 試以國立成功大學製造工程研究所 鄭芳田教授 產學合作計畫 : 智慧預測保養系統之設計與實作 成果報告盤點為範例 國科會工程處專題計畫成果典藏 自動化學門成果報告盤點範例.
第三章 自動再裝載運用篇 使用時機:裝載計劃完成時,尚有剩餘空 間的情形,維持已固定計劃而繼續做裝載 最佳化。以支持次日裝載計劃而提前調整 作業模式。 裝載物品設定和裝載容器設定如前兩章介 紹,於此不再重複此動作,直接從裝載計 劃設定開始,直接從系統內定的物品和容 器選取所需.
: Ahoy, Pirates! ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11402: Ahoy, Pirates! 解題者:李重儀 解題日期: 2008 年 8 月 26 日 題意:有一個海盜島有 N 個海盜,他們的編號 (id)
校務資訊系統 畢業離校操作說明 報告日期 : 務必先點選 ” 步驟一 ” 謝大美 大學部 中文系四年級 女 台中市北屯區 xx 路 xx 號 修改原留的資料 請點選此處 修改原留的資料 請點選此處.
資料結構實習-一 參數傳遞.
6-2 認識元件庫與內建元件庫 Flash 的元件庫分兩種, 一種是每個動畫專 屬的元件庫 (Library) ;另一種則是內建元 件庫 (Common Libraries), 兩者皆可透過 『視窗』功能表來開啟, 以下即為您說明。
Deletion in MIN-MAX Heaps Delete min element Delete max element.
專題簡報 曾聖嘉 邱帥軒 指導教授:楊正仁教授.
Hung-Hsiang WuWindows Processing Design1 Chapter 4 簡單視窗程式 表單與標籤的屬性 按鈕與編輯的屬性 設計簡單的應用程式 表單常用事件 一般鍵盤及滑鼠常見的事件 表單視窗間的呼叫 表單間資料傳送應用 專案選擇設定.
1 Web of Science 利用指引 逢甲大學圖書館 參考服務組 單元六 個人化服務.
函式 Function Part.2 東海大學物理系‧資訊教育 施奇廷. 遞迴( Recursion ) 函式可以「呼叫自己」,這種動作稱為 「遞迴」 此程式的執行結果相當於陷入無窮迴圈, 無法停止(只能按 Ctrl-C ) 這給我們一個暗示:函式的遞迴呼叫可以 達到部分迴圈的效果.
JAVA 程式設計與資料結構 第二十章 Searching. Sequential Searching Sequential Searching 是最簡單的一種搜尋法,此演 算法可應用在 Array 或是 Linked List 此等資料結構。 Sequential Searching 的 worst-case.
資料結構實習-二.
演算法 8-1 最大數及最小數找法 8-2 排序 8-3 二元搜尋法.
: Automatic correction of misspellings ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11048: Automatic correction of misspellings 解題者:陳宜佐 解題日期:
: Ubiquitous Religions ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10583: Ubiquitous Religions 解題者:吳佳樺 解題日期: 2010 年 3 月 18 日 題意: 一開始給予兩個數字.
: Expect the Expected ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11427: Expect the Expected 解題者:李重儀 解題日期: 2008 年 9 月 21 日 題意:玩一種遊戲 (a game.
專題製作成果報告 Gated Clock Cloning for Timing Fixing 指導教授: 林榮彬教授 專題組員: 韓儩源、蔡萬都.
845: Gas Station Numbers ★★★ 題組: Problem Set Archive with Online Judge 題號: 845: Gas Station Numbers. 解題者:張維珊 解題日期: 2006 年 2 月 題意: 將輸入的數字,經過重新排列組合或旋轉數字,得到比原先的數字大,
: Function Overloading ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11032:Function Overloading 解題者:許智祺 解題日期: 2007 年 5 月 8 日 題意:判對輸入之數字是否為.
演算法課程 (Algorithms) 國立聯合大學 資訊管理學系 陳士杰老師 Course 7 貪婪法則 Greedy Approach.
E XPLOITING R ANDOM F OREST TO P REDICT S ULFATED T YROSINE 宋孟純 洪敏華 洪瑜珊.
組合語言與系統程式 軟體使用教學(中文詳細版).
概念性產品企劃書 呂學儒 李政翰.
Probability Distribution 機率分配 汪群超 12/12. 目的:產生具均等分配的數值 (Data) ,並以 『直方圖』的功能計算出數值在不同範圍內出現 的頻率,及繪製數值的分配圖,以反應出該 機率分配的特性。
無線通訊網路 Mac 層 TDM 通訊模式的操作與效能研究 專題生 : 林書弘、蔡逸祥、毛建翔、王政 華 指導教授 : 黃依賢.
組合語言與系統程式 軟體使用教學. 軟體下載及安裝 下載 到課程網頁下載 tw/~jiun/ 安裝 解壓縮後將 System Software 資料夾放在 D 槽 (C 槽版本放在 C 之下 )
: Ordering Tasks ☆☆☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10305: Ordering Tasks 解題者:陳相廷 解題日期: 2006 年 6 月 12 日 題意:給定兩兩工作的先後關係,求出整體合 法執行順序。
SQL 進階查詢.
第七章自動群集偵測 Automatic Cluster Detection. 自動群集偵測 簡介 簡介 K 平均法 K 平均法 凝聚方法 凝聚方法 變數的變化 變數的變化 自動群集偵測的優、缺點 自動群集偵測的優、缺點.
INFORMATION RETRIEVAL AND EXTRACTION 作業: Program 1 第十四組 組員:林永峰、洪承雄、謝宗憲.
第 6 章 迴圈結構 6-1 計數迴圈 6-1 計數迴圈 6-2 條件迴圈 6-2 條件迴圈 6-3 巢狀迴圈 6-3 巢狀迴圈 6-4 While/End While 迴圈 6-4 While/End While 迴圈 6-5 跳出迴圈 6-5 跳出迴圈 6-6 VB.NET 的錯誤處理 6-6 VB.NET.
蔡中皓 郭尚豪 紀羽軒 1. Outline Background Motive and purpose Method Conclusion 2.
:Stupid Sequence ★★★☆☆ 題組: Contest Archive with Online Judge 題號: 11319: Stupid Sequence 解題者:李育賢 解題日期: 2008 年 11 月 23 日 題意: 一個公式 f(x)=a 0 +a 1 x+a.
Outlook 教學與研習 (1) - 設定及收發郵件 - 設定郵件規則 陽明大學資訊與通信中心 陳坤元 2006/03/27.
函式 Function 東海大學物理系‧資訊教育 施奇廷. 函式簡介 當程式越來越大、越複雜時,程式的維護、 除錯會變得更困難,此時必須引入函式來 簡化程式或將程式分段,將程式重複的部 分改寫為函式,將程式「模組化」 這種作法有下列優點:節省程式發展的時 間、邏輯容易瞭解、程式容易除錯、可分 工合作完成程式.
-Artificial Neural Network- Matlab操作介紹 -以類神經網路BPN Model為例
數字系統與資料表示法 教師: 陳炯勳 數系轉換 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.
Microsoft Excel.
Failure Candidate Identification for Silicon Debug 指導教授 : 曾王道 學生 : 卜竹君 許正明.
學校本位暨教師自我 專業進修研習規劃服務 教育訓練 指導單位:教育部 執行單位:全國教師在職進修資訊網 講 師:國立高雄師範大學進修學院教師生涯專業發展研究中心 曾子唐 專任研究助理 尤嬿琇 專任研究助理.
Presentation transcript:

MultiCore ATPG 2010 IC/CAD Contest 組員:林中正、曾國賢

Goal

The goal is to develop an ATPG program with fast run time, few generated patterns and high fault coverage under the given multi ‐ core computing environment. The designed ATPG program should have the ability to handle single stuck ‐ at faults in combinational logic circuits. An evaluation set consist of several benchmarks is provided for verifying your program. A benchmark is a combinational logic circuit in the form of a Verilog gate ‐ level netlist.

Introduction

ATPG (acronym for both Automatic Test Pattern Generation and Automatic Test Pattern Generator) is an electronic design automation method/technology

Program structure

We use the 2 ‐ bit adder as an example to illustrate briefly the operation of pattern generation. First, the gate level netlist is read to construct the structure of design. Second, find all single stuck ‐ at faults in this design and generate the fault list. Third, collapse the faults. The collapsed faults are used to calculate the fault coverage. Forth, pick up the fault one by one from the fault list to generate test pattern by running test algorithm.

Flow chart

讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束 讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束 讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束 讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束 讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束 讀入測試檔將測試數據,均分為兩組 程式自動偵測 core 內資料 當某個 core 數據優先測試完畢後,剩餘資 料將對分到此 core 執行,重複動作直到所 有數據測試結束

Test Output

Test pattern number Total backtrack number Total fault number Detected fault number Undetected fault number Abort fault number Redundant fault number Total equivalent fault number Equivalent detected fault number Equivalent undetected fault number Equivalent abort fault number Equivalent redundant fault number Fault Coverge Equivalent FC Fault Efficiency

謝謝您 的 聆聽