這篇論文提出了第一個自動化且同時生成時脈精準以及時脈數精準的交易層級匯流排模型的方法。當交易層級模型建立被證實為一個有效管理系統層級設計複雜度的方法,研究者們往往利用不同層級的(交易層級)模型達到快速或準確的系統層級模擬。如此一來,設計者往往花費大量的時間在重新建立相同的模型在不同的抽象層級上,費時且容易犯錯,更難以確保其不同抽象層級模型的一致性。這篇論文提出了一個自動化的方法,同時生成快與準的兩種抽象層級,幫助設計者除去易錯且費時的模型建立及確認一致性的工作。
This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. As TLM (Transaction Level Modeling) is proven an effective design methodology to manage ever-increasing complexity of system level designs, researchers often exploit various abstraction levels to gain either simulation speed or accuracy. Consequently, designers time and again wearily re-write and perform consistency check for different abstraction level models of the same design. To ease the work, we propose a novel correct-by-construction method that automatically and simultaneously generates multiple transaction level bus models for system simulation that can be both fast and accurate. The proposed approach relieves designers from tedious work for model refinement and error-prone consistency check.