專利授權區 | |
---|---|
專利名稱(中) | 電路設計之驗證方法 |
專利家族 |
中華民國:I292541 美國:7,302,655 |
專利權人 | 國立清華大學 100.00% |
發明人 | 謝禎安,吳世傑,王俊堯 |
技術領域 | 電子電機 |
專利摘要(中) |
---|
本發明係關於一種電路設計之驗證方法,其特徵在於根據一預定遞迴函數ai+1=(ai-1)2+1分派數值1/ai至該電路設計之輸入埠,其中i代表輸入埠之編號,且數值a1不等於2或1。較佳地,a1等於或大於3,且為正整數。特而言之,該數值代表邏輯1或邏輯0之機率。此外,本發明之驗證方法更包含根據分派給輸入埠之數值,計算電路設計之輸出埠的輸出值,且計算該輸出值係在布林邏輯閘之層次,自輸入埠向輸出埠以逐步方式進行。 |
聯絡資訊 | |
---|---|
承辦人姓名 | 李曉琪 |
承辦人電話 | 03-5715131 #31061 |
承辦人Email | hsiaochi@mx.nthu.edu.tw |