Embedded system virtualization for executable specifications and use case modelingでは、下記の3つのVirtualを定義しています。
・RTLを検証するための'''Virtual Prototype''' ・S/Wの早期開発のための'''Virtual Platform''' ・Use casesとアプリケーションの定義のための'''Virtual System'''
SL Models and their Application: Electronic System Level Design and Verification in PracticeのESLの3つの柱のうち、
2つが対応します。1つがVirtual Platform、もう一つはArchitect's workbench。これは上記のVirtual Systemに関連するもの。
2つが対応します。1つがVirtual Platform、もう一つはArchitect's workbench。これは上記のVirtual Systemに関連するもの。
また、CoFluent DesignがMathWorks Connection Programに加盟したことで、「CoFluent Studio」上でMATLAB/Simulinkモデルが扱えるなる模様。
これは、Virtual Systemを構築するのにもとってもいいことだと思う。
これは、Virtual Systemを構築するのにもとってもいいことだと思う。
検証、Verification、Virtual Platform
