システムのモデル化と計算モデル

摘要

本稿では，システムレベルデザインに有効な計算モデルを紹介して，その活用方法について解説を行った．本稿で解説したKPNやSDFは，マルチメディア系やデータ処理系のSoCの機能仕様を抽象度が高いレベルで記述するのに向いている点で近年注目されており，本特集の「システムレベル設計フローと設計言語」で解説されている機能検証フェーズで特に有効である．また，SPADEのように仕様設計のフェーズとアーキテクチャ設計のフェーズとのインタオペラビリティを高める観点でも，仕様設計をフォーマルな計算モデルを使って記述しておくことのメリットは高い．また，KPNやSDF了については，これらをサポートする設計ツールが現れつつある．