一种基于SystemC的仿真平台快速构建方法
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Ｋｅ ｒ ｓ ｖｒｕ ｌｔ ｒ ；Ｓ Ｃ Ｓ Ｄ；Ｔ Ｍ ｄ ｅ ｙ ｗｏ ｄ ： ｉ ａ ｐ ａｆｍ ｔｌ ． ｏ ｏ －Ｌ Ｌ ｍｏ ｌ
０ 引 言
随着复杂嵌入式系统的深入发展 ， 嵌入式仿真平 台的作用越来越重要。嵌入式仿真平台为 ＳＣ早期 ｏ 分析、 设计 和优化 以及 软硬 件 协 同设 计 提 供 了可 能 ； 为技 术概 念研 究与 验 证直 至 合 理 的定 义 产 品提 供 了 有 效 的支 持手段 。 同时 还可 以直 接作 为 嵌 入式 系 统 的软件 开发环境 ， 在脱离 硬件 的情况 下进行 软件 的研 究与开发工作。但嵌入式仿真平 台构建本身仍是较 为繁琐 的过程 ， 旦 平 台建 成 ， 结 构 与配 置 的更 改 一 其 与变换 不够灵 活 ， 这影 响 了嵌 入式仿 真平 台应用 。 因 此嵌入式平台构建与修改的快速方法就更为有意义。 本文研究一种基 于 Ｓｓ ｍ ｙｔ Ｃ的可动态配置的仿真平 ｅ 台的构建方 案， 它以共享库形式构成 的模块库为基 础， 依据用户命令或脚本文件在管理器的控制下 ， 从 库中选取相应 的模块并 自动搭建对应的平台。其过 程无需用户编译， 即搭 即用 ， 因而使平台的构建和修
Ａｂ ｔａ ｔＴ ｉ ｐ ｐ ｒｄｓｕ ｓｓａｍｅｈ ｄｔ ｕｌ ｉ ｌａｉｇｐａ ｏｍ ｉ ｃ ｙｏ ｏ ｓｒ ｃ ：ｈｓ ａ ｅ ｉｃ ｓｅ ｔｏ ｏｂ ｉ ｓｍｕ ｔ ｌｔ ｒ ｄｒ ｔ ｎｃ ｍｍａ ｄｌ ｅｒｔｅ ａ ｏ ｉ ｔ ｎ ｉ ｎ ｉｏ － ｄ ｎ ｆ ｅ ｌ ｎ ｎ ａｈ ｒｔ ｎｃ ｍｐｌ ｉ ｅ ｖｒｎ ｉ ｈ ａｏ ｎ
２１ 第 １ ０ ２年 期 文章 编 号 ：０ ６２７ （０ ２ ０ －１４０ １０ － ５ ２ １ ） １０５ － ４ ３
计 算 机 与 现 代 化 ＪＳ Ａ Ｊ Ｙ Ｉ Ｎ ＡＨ Ａ ＩＵ Ｎ Ｉ Ｕ Ｘ Ａ Ｄ Ｉ Ｕ 总第 １７期 ９一
种基 于 Ｓｓ ｍ ｙｔ Ｃ的仿 真平 台快 速构 建 方 法 ｅ
Ａ ｓ ｉｄ ｎ ｅ ｈｏ ｏ Ｆａ ｔＢｕ ｌ ｉ ｇ Ｍ ｔ ｄ ｆ ｒ Ｅｍ ｂ ｄ ｅ ｍ ｕ ａ ｉ ｎ ａ ｆ ｒ Ｂａ ｅ ｎ ｓ ｅ Ｃ ｅ ｄ ｄ Ｓｉ ｌ ｔｏ Ｐｌ ｔｏ ｍ ｓ ｄ ｏ Ｓｙ ｔ ｍ
Ｆ ＡＮ ｉｇ，ＨＡＮ Ｍｉｇｘｕ ＨＡＯ Ｚ ｏｚ ｉ ＨＡ Ｊｎ ｎ —ｉ ，Ｓ ｕ —ｈ ，Ｚ ＮＧ ｈ Ｃｉ （ｃ ｏｌ ｆ ｏｔ ｌ ｎ ｏ ｐ ｔ ｎｉ ｅ ｎ ， ｏ ｈＣ ｉａＥｅｔｃＰ ｗ ｒ ｎ ｅｓｙ Ｂ ｉｎ ０ ２６ Ｃ ｉａ Ｓｈｏ ｎｒ ｄＣ ｍ ｕｅ Ｅ ｇ ｅｒ ｇ Ｎ ａ ｈｎ ｌ ｒ ｏ ｅ ｉ ｒ ｔ， ｅ ｉｇ１２ ０ ， ｈｎ ） ｏＣ ｏａ ｒ ｎ ｉ ｃｉ Ｕ ｖ ｉ ｊ
ｍｅ ｔＳ ｓｅ ｎ ｙ ｔｍＣ，ｄ ｓ ｒ ｅ ｅ ｐ ｏ ｅ ｕ ｅｏ ｕｌ ｉ ｇｓｍｕ ａｉ ｇｐ ａ ｏ ｍ，ａ ａｙ ｅ ｅ ｔｐ ｓｏ ｄ ｌｓａ ｄ ｔ ｅｄ ｆ ｒ ｎ ｅ ｎ ｃ ｒ － ｅ ｃ ｉ ｓｔ ｒ ｃ ｄ ｒ ｆ ｉ ｎ ｂ ｈ ｂ ｄ ｉ ｌ ｔ ｌｔ ｒ ｎ ｆ ｎ ｌｚ ｓ ｔ ｅ ｆ ｈ ｙ ｍｏ ｕｅ ｎ ｈ ｉ ｅ ｅ ｃ ｓｏ ｏ ｎ ｍｕ ｉａｉｎ ｂ ｔ ｅ ｎ ｄ ｆ ｒｎ ｙ ｅ ｆｍｏ ｕ ｅ ．Ｔ ｅ ｃｅ ｔ ｎ ｏ ｄ ｅ ，ｅ ｐ ｃ ａ ｙ ｔｅ ｓ ｈ ｍｅ ｏ ｏ ｎ ｃ ｔ ｅｗ ｅ ｉ ｅ ｅ ｔ ｐ ｓ ｏ ｄ ｓ ｈ ｒ ａｉ ｆｍｏ ｕ ｓ ｓ ｉｌ ｈ ｃ ｅ ｆｅ ｍｍｕ ｉ ａｉ ｎ ｌ ｋ ｂ ｔ ｅ ｏ ｔ ｌ ｏ ｌ ｅ ｌ ｎ ｃ ｔ ｉ ｗｅ ｎ ｏ ｎ ｅ ｄｆ ｒ ｎ ｙ ｅ ｆｍｏ ｕ ｅ ｓｄ ｓ ｕ ｓ ｄ ｉ ｅ ｅ ｔｔｐ ｓｏ ｄ ｌ ｓｉ ｉｃ ｓｅ ．Ｔ ｅ ｄ ｍａ ｄ ｏ ｄ ｌ ｔｕ ｔｒ ａ ｅ ｎ ｔｉ ｔ ｏ ｒ ｎ ｌ ｚ ｄ ｈ ｅ ｎ ｓ ｆｒｍｏ ｕ ｅ ｓｒ ｃｕ ｅ ｂ ｓ ｄ ｏ ｈ ｓ ｍｅｈ ａ ａ ａｙ ｅ ．Ａ ａ ｏ ｒ ａｉｅ ｄ ｅ ｗ ｙ ｔ ｌ ｅ ｚ ｃ ｅ ｋ ｏ ｎ ｓｇｖ ｎ ｈ ｃ ｐ ｉ ｔ ｉｅ ． ｉ
范 婧， 韩明秀 ， 邵作之 ， 张 驰
（ 华北电力大学控制与计算机工程学院 ， 北京 １２０ ） ０２ ６
摘要： 讨论在 Ｓｓ ｍ ｙｅ Ｃ环境下通过命令行不经编译 直接 构建仿 真平 台的方法。描 述该 方法构建仿真 平 台过程 。分析平 ｔ
台模块 的类型和它们在模块 间通信连接上的差异 ， 讨论模块 的创 建特别是模块 间通信连接 的方案。分析 该方 法对模 块
结构 的要 求 。提 出一种 实现 “ 查 点” 能 的 方 法 。 检 功
关键词 ： 虚拟 平台； ｏ ＳＣ系统级设计 ；事务级模型
中图分 类号 ：Ｐ ９ ． Ｔ ３ １９ 文献标 识码 ： Ａ ｄ ｉ ０ ３ ６／．ｓ ．０ ６２ ７ ．０ ２ ０ ．４ ｏ：１．９ ９ ｊｉ ｎ １０ － ５ ２ １． １００ ｓ ４
改更 为灵 活方便 。本 文 还针 对仿 真平 台 的特 点 实 现 了“ 检查点” …功能， 在其帮助下能使仿真平 台的应
用更加方便 ， 提高了工作效率。
１ 构 建 方 案 的基 本 组成
通常 的仿真平 台 为静态 连接生 成 的 可执 行 文件 ， 因此 只有 在编译 后 才 能生 成 。但 如果 将 仿 真 平 台 的 所有 部分 都采用 共享库方 式处理 ， 则可 以在 用户 命 令 的控 制下 动态 生成仿 真平 台。这 即是 本方 案 的基础 。 该方案在结构上主要由模块库 、 管理器、 用户界面等 ３个基 本 部分组成 。 模块库包含两种类型的模块 ： 用于硬件功能仿真 的“ 仿真模块” 用于平台调试、 台性能分析 以及软 ； 平 件分析的“ 功能模块” 。仿真模块均由 Ｓｓ ｍ ｙｔ Ｃ编写 ， ｅ 在模块结构 、 模块间的通信方式上 皆需遵循 Ｓｓ ｍ ｙｔ Ｃ ｅ 的规定 。功能模块 由 Ｃ＋ 编写 ， Ｊ ＋ 在结构与通信原 理上则借鉴组件技术 。由于 Ｓｓ ｍ Ｊ ｙｔ Ｃ原本 就是在 ｅ
０ 引 言
随着复杂嵌入式系统的深入发展 ， 嵌入式仿真平 台的作用越来越重要。嵌入式仿真平台为 ＳＣ早期 ｏ 分析、 设计 和优化 以及 软硬 件 协 同设 计 提 供 了可 能 ； 为技 术概 念研 究与 验 证直 至 合 理 的定 义 产 品提 供 了 有 效 的支 持手段 。 同时 还可 以直 接作 为 嵌 入式 系 统 的软件 开发环境 ， 在脱离 硬件 的情况 下进行 软件 的研 究与开发工作。但嵌入式仿真平 台构建本身仍是较 为繁琐 的过程 ， 旦 平 台建 成 ， 结 构 与配 置 的更 改 一 其 与变换 不够灵 活 ， 这影 响 了嵌 入式仿 真平 台应用 。 因 此嵌入式平台构建与修改的快速方法就更为有意义。 本文研究一种基 于 Ｓｓ ｍ ｙｔ Ｃ的可动态配置的仿真平 ｅ 台的构建方 案， 它以共享库形式构成 的模块库为基 础， 依据用户命令或脚本文件在管理器的控制下 ， 从 库中选取相应 的模块并 自动搭建对应的平台。其过 程无需用户编译， 即搭 即用 ， 因而使平台的构建和修
Ａｂ ｔａ ｔＴ ｉ ｐ ｐ ｒｄｓｕ ｓｓａｍｅｈ ｄｔ ｕｌ ｉ ｌａｉｇｐａ ｏｍ ｉ ｃ ｙｏ ｏ ｓｒ ｃ ：ｈｓ ａ ｅ ｉｃ ｓｅ ｔｏ ｏｂ ｉ ｓｍｕ ｔ ｌｔ ｒ ｄｒ ｔ ｎｃ ｍｍａ ｄｌ ｅｒｔｅ ａ ｏ ｉ ｔ ｎ ｉ ｎ ｉｏ － ｄ ｎ ｆ ｅ ｌ ｎ ｎ ａｈ ｒｔ ｎｃ ｍｐｌ ｉ ｅ ｖｒｎ ｉ ｈ ａｏ ｎ
２１ 第 １ ０ ２年 期 文章 编 号 ：０ ６２７ （０ ２ ０ －１４０ １０ － ５ ２ １ ） １０５ － ４ ３
计 算 机 与 现 代 化 ＪＳ Ａ Ｊ Ｙ Ｉ Ｎ ＡＨ Ａ ＩＵ Ｎ Ｉ Ｕ Ｘ Ａ Ｄ Ｉ Ｕ 总第 １７期 ９一
种基 于 Ｓｓ ｍ ｙｔ Ｃ的仿 真平 台快 速构 建 方 法 ｅ
Ａ ｓ ｉｄ ｎ ｅ ｈｏ ｏ Ｆａ ｔＢｕ ｌ ｉ ｇ Ｍ ｔ ｄ ｆ ｒ Ｅｍ ｂ ｄ ｅ ｍ ｕ ａ ｉ ｎ ａ ｆ ｒ Ｂａ ｅ ｎ ｓ ｅ Ｃ ｅ ｄ ｄ Ｓｉ ｌ ｔｏ Ｐｌ ｔｏ ｍ ｓ ｄ ｏ Ｓｙ ｔ ｍ
Ｆ ＡＮ ｉｇ，ＨＡＮ Ｍｉｇｘｕ ＨＡＯ Ｚ ｏｚ ｉ ＨＡ Ｊｎ ｎ —ｉ ，Ｓ ｕ —ｈ ，Ｚ ＮＧ ｈ Ｃｉ （ｃ ｏｌ ｆ ｏｔ ｌ ｎ ｏ ｐ ｔ ｎｉ ｅ ｎ ， ｏ ｈＣ ｉａＥｅｔｃＰ ｗ ｒ ｎ ｅｓｙ Ｂ ｉｎ ０ ２６ Ｃ ｉａ Ｓｈｏ ｎｒ ｄＣ ｍ ｕｅ Ｅ ｇ ｅｒ ｇ Ｎ ａ ｈｎ ｌ ｒ ｏ ｅ ｉ ｒ ｔ， ｅ ｉｇ１２ ０ ， ｈｎ ） ｏＣ ｏａ ｒ ｎ ｉ ｃｉ Ｕ ｖ ｉ ｊ
ｍｅ ｔＳ ｓｅ ｎ ｙ ｔｍＣ，ｄ ｓ ｒ ｅ ｅ ｐ ｏ ｅ ｕ ｅｏ ｕｌ ｉ ｇｓｍｕ ａｉ ｇｐ ａ ｏ ｍ，ａ ａｙ ｅ ｅ ｔｐ ｓｏ ｄ ｌｓａ ｄ ｔ ｅｄ ｆ ｒ ｎ ｅ ｎ ｃ ｒ － ｅ ｃ ｉ ｓｔ ｒ ｃ ｄ ｒ ｆ ｉ ｎ ｂ ｈ ｂ ｄ ｉ ｌ ｔ ｌｔ ｒ ｎ ｆ ｎ ｌｚ ｓ ｔ ｅ ｆ ｈ ｙ ｍｏ ｕｅ ｎ ｈ ｉ ｅ ｅ ｃ ｓｏ ｏ ｎ ｍｕ ｉａｉｎ ｂ ｔ ｅ ｎ ｄ ｆ ｒｎ ｙ ｅ ｆｍｏ ｕ ｅ ．Ｔ ｅ ｃｅ ｔ ｎ ｏ ｄ ｅ ，ｅ ｐ ｃ ａ ｙ ｔｅ ｓ ｈ ｍｅ ｏ ｏ ｎ ｃ ｔ ｅｗ ｅ ｉ ｅ ｅ ｔ ｐ ｓ ｏ ｄ ｓ ｈ ｒ ａｉ ｆｍｏ ｕ ｓ ｓ ｉｌ ｈ ｃ ｅ ｆｅ ｍｍｕ ｉ ａｉ ｎ ｌ ｋ ｂ ｔ ｅ ｏ ｔ ｌ ｏ ｌ ｅ ｌ ｎ ｃ ｔ ｉ ｗｅ ｎ ｏ ｎ ｅ ｄｆ ｒ ｎ ｙ ｅ ｆｍｏ ｕ ｅ ｓｄ ｓ ｕ ｓ ｄ ｉ ｅ ｅ ｔｔｐ ｓｏ ｄ ｌ ｓｉ ｉｃ ｓｅ ．Ｔ ｅ ｄ ｍａ ｄ ｏ ｄ ｌ ｔｕ ｔｒ ａ ｅ ｎ ｔｉ ｔ ｏ ｒ ｎ ｌ ｚ ｄ ｈ ｅ ｎ ｓ ｆｒｍｏ ｕ ｅ ｓｒ ｃｕ ｅ ｂ ｓ ｄ ｏ ｈ ｓ ｍｅｈ ａ ａ ａｙ ｅ ．Ａ ａ ｏ ｒ ａｉｅ ｄ ｅ ｗ ｙ ｔ ｌ ｅ ｚ ｃ ｅ ｋ ｏ ｎ ｓｇｖ ｎ ｈ ｃ ｐ ｉ ｔ ｉｅ ． ｉ
范 婧， 韩明秀 ， 邵作之 ， 张 驰
（ 华北电力大学控制与计算机工程学院 ， 北京 １２０ ） ０２ ６
摘要： 讨论在 Ｓｓ ｍ ｙｅ Ｃ环境下通过命令行不经编译 直接 构建仿 真平 台的方法。描 述该 方法构建仿真 平 台过程 。分析平 ｔ
台模块 的类型和它们在模块 间通信连接上的差异 ， 讨论模块 的创 建特别是模块 间通信连接 的方案。分析 该方 法对模 块
结构 的要 求 。提 出一种 实现 “ 查 点” 能 的 方 法 。 检 功
关键词 ： 虚拟 平台； ｏ ＳＣ系统级设计 ；事务级模型
中图分 类号 ：Ｐ ９ ． Ｔ ３ １９ 文献标 识码 ： Ａ ｄ ｉ ０ ３ ６／．ｓ ．０ ６２ ７ ．０ ２ ０ ．４ ｏ：１．９ ９ ｊｉ ｎ １０ － ５ ２ １． １００ ｓ ４
改更 为灵 活方便 。本 文 还针 对仿 真平 台 的特 点 实 现 了“ 检查点” …功能， 在其帮助下能使仿真平 台的应
用更加方便 ， 提高了工作效率。
１ 构 建 方 案 的基 本 组成
通常 的仿真平 台 为静态 连接生 成 的 可执 行 文件 ， 因此 只有 在编译 后 才 能生 成 。但 如果 将 仿 真 平 台 的 所有 部分 都采用 共享库方 式处理 ， 则可 以在 用户 命 令 的控 制下 动态 生成仿 真平 台。这 即是 本方 案 的基础 。 该方案在结构上主要由模块库 、 管理器、 用户界面等 ３个基 本 部分组成 。 模块库包含两种类型的模块 ： 用于硬件功能仿真 的“ 仿真模块” 用于平台调试、 台性能分析 以及软 ； 平 件分析的“ 功能模块” 。仿真模块均由 Ｓｓ ｍ ｙｔ Ｃ编写 ， ｅ 在模块结构 、 模块间的通信方式上 皆需遵循 Ｓｓ ｍ ｙｔ Ｃ ｅ 的规定 。功能模块 由 Ｃ＋ 编写 ， Ｊ ＋ 在结构与通信原 理上则借鉴组件技术 。由于 Ｓｓ ｍ Ｊ ｙｔ Ｃ原本 就是在 ｅ