Abstract
由於系統單晶片設計複雜度日漸提高，系統單晶片內含有各種不同原件之集成，其原件間的複雜互動導致系統單晶片之驗證難度也隨之提高。為了驗證由系統層級原件間互動所導致之系統層級特有錯誤，一般廣泛使用的方法為在一時間觸發多個原件，平行化原件間互動以期能產生資源競爭，進而驗證原件間互動問題。而一般廣泛產生原件間互動之方法為隨機方法，可能難以產生複雜邊界條件，並難以執行特定原件功能。而重複使用區塊層級測試資料將可以達成在系統層級重新產生複雜邊界條件及執行特定原件功能等目標。我們將區塊層級測試資料重新組合排序後應用至系統層級之外，尚提出一平行觸發原件間互動之演算法，加入至多之平行原件間互動。我們將我們的方法應用至Nios SoC，達成驗證各式邊界條件、驗證各式特定功能、及產生大量平行原件間互動的目標。