


＇

３７８ 第 十 七 届 计 莫 机 工 程 与 工 艺 年 会 暨 第 三 届 微 处 理 器 技 术 论 坛 论 文 集

种基于 ＰＬ Ｉ 技术 的 系 统 级 验 证 方 法


一



＊

李 睿辞 万江华 刘 衡竹 ．
王慧丽

（ 国 防 科 技 大学 计 算 机学 院 长沙 ４ １ ００ ７ ３ 

）

摘 要 ： 传统的 系 统 级 调 试 与 验 证 的 方 法 是 以 软 硬 件 联合 的 ，
ＦＰ ＧＡ 原 型 验证 但 是 长 期

 ，

以 来该 方 法 一

直存 在 错误 定 位 困 难 源 代 码修 改 不 便 与 验证 迭代 周 期 长 等 不 足
、 。 为 了 改善


ＦＰ ＧＡ 原 型 验证 的 以 上 缺 点 本 文 设 计 并 实 现 ，
了
一

种基 于 ＰＵ 技术 的 系 统 级 验证 方 法 。 采用



ＰＵ 接 口 连接 调 试 软 件 与 硬 件 仿 真 环 境 通过 共 享 ， 内 存机制 实 现 不 同 进程 间 的 通 信 最 终达 到

 ，

对 芯 片 系 统 级 调 试 、 验 证 以 及 ＲＴＬ 代码 维护 等 目 的 。 对于 多 核 处理 器 ， 同样可以 采用 这 一



接
口 技 术 来提 高 多 核 芯 片 仿 真 调 试 与 验证 的 、 工作 效率 

。

关键 字 ：
ＰＵ ； 系 统 级验证 共 享 内 存 多 核 处 理 器

 ； ；

＿ 验 证环 境 ， 并 以 此 结 合 之前 优化 的 单 核 验 证 方 法 

，

１ 引 言 进行 了 性 能 分 析 

。

ＰＬ 是 Ｖ ｅ ｏｇ 硬 件 描 述 语 言 与 Ｃ 吾 言 的 交


集 成 电 路设 计 规 模 益 提 益增 大 复杂度
Ｉ ｒｉｌ ｉ
日 、 日

升 芯 片 设 计 不 断 面 临 新 的 挑 战 验 证 与 调 试 也逐
，
互 接 口 该 接 口 协 议 由 各 大 Ｅ ＤＡ 工 具 厂 商 支 持 ，
， 

。

渐成 为 设 计 过程 中 的 瓶 颈 从 传 统 的 验 证 方 法学  Ｃ 语 言 具有 编 程 简 洁 灵 活 的 特点 可 以 更 方 便 

［ ］

、 ，
。

来看 基于 模 拟 的 验 证 方 法 仍 然处 于 主 流 地 位 而  的 实 现 在
， ，
Ｖ ｅｒ
ｉ ｌｏｇ 中 较为 复杂 的控制 逻辑 。 设计


对 于 系 统级 的 验 证 与 调 试 ，
一

种 常 用 的 方 法 即 为中 ，
ＰＵ 接 口 主要 用 于 在 Ｖ ｅｒ
ｉｌ ｏ ｇ 硬件描述 中 调用


软硬件联合 的 ＦＰ ＧＡ 原 型 验证 。 其优 点 在 于 可 重 语言 实 现 的 函 数 而 Ｃ ，
Ｃ 函 数 主 要 用 于 共享 内 存


复 编 程 能 挂 接真 实 的 外 围 逻 辑 运 行 速度 快  的 开 辟
８
／Ｏ 缓 冲 队列 的 实 现 数据 的 同 步传输 以


［ ］

、 Ｉ 、 、 、

等 。 尽 管 如 此 还 是 存 在 发 现 问 题 后 定 位 错 误 不 及 用 户 调 试界 面 的 实 现
， 

。

便 迭 代 周 期 长 等缺 点
、 。
 

＞

本文 首 先 以 单 核 Ｙ Ｈ ＦＴ ＿
Ｍａ ｒ
ｉｘ Ｄ Ｓ Ｐ
ｔ
为 例 从 ，
２ 单 核验 证


利 于 芯 片 系 统级 验 证 的 角 度 出 发 提 出 ，
一

种通过


ＰＵ （
Ｐｒｏ ｇｒａｍｍ ｉ ｎ ｇ  Ｌａｎ ｇｕ ａｇｅ  Ｉｎｔ ｅ ｒ
ｆａｃ ｅ ， 编 程 语 言 接 ２ ． １ 系 统级 验 证环 境


＜
技术连接集成开发环境 与 模拟器


１

口 ＲＴＬ
［

２ ｈ 

ｌ

的 系 统级芯 片 验证方 法 前者用 于产

－

（
Ｎ Ｃ Ｓｉ ｍ ） ＿
。

生 芯 片 外 部 的 实 时 调 试激励 后 者 用 于 芯 片 ，
ＲＴＬ  集 成开发环境 （
Ｉ ＤＥ ，  Ｉ ｎｔ
ｅ ｇ ｒ ａｔ
ｅｄ  Ｄ ｅｖ ｅ ｌ ｏ ｐ ｉ ｎ


ｇ

级仿 真 。 在此基础 上 以 四 核 ，
Ｙ Ｈ ＦＴ Ｑ －
Ｍ Ｂ ａ ｓ ｅ Ｄ Ｓ Ｐ  Ｅ ｎ ｖ ｉ ｒｏ ｎ ｍ ｅ ｎ ｔ
） ， 是对 芯 片 系 统 级 验 证 调 试 的 软 件

 、

种 加 速 多 核 芯 片 仿 真 速 度 的 系 统 级  支持 平 台
９

为例 提 出
［ ］
一

， 

。

＊
作 者 简 介 李 睿婷 女 硕 士 研究 生 研 究 方 向 为 微 处 理 擇 设 计 万 江 华 男 副 研 究 员 研 究方 向 为 微处 理 器 体 系 结
：
， ， 
 ， ； ， ， ，

构 刘 衡 竹 男 教授 博 士 生 导 师 研 究 方 向 为微 处 理 器 体 系 结 构 和 嵌 人 式 与 Ｓ ０ Ｃ 芯 片 设 计技 术 王 慧 丽 女 研 究 方 向
； ， ， ， ， 
 ； ， ，

为 微处 理 器 设 计 。
 

，

通 信 地址 ：
４ １ ００ ７ ３ 湖 南 长 沙 国 防 科技 大学计 算 机 学 院 。 Ｅｍａ ｉ ｌ： ９０４０ １ ２４０ ７ ＠ ｑ ｑ 
．  ｃ ｏｍ


 种基于 ＰＵ 技 术 的 系 统 级 验 证 方 法 ３ ７ ９
—




如图 所示 是传 统 原 型 验证 原 理 支持 流 水 线 控 制 运行 停止 单步
１ １

ＦＰ ＧＡ
［ ］

１
， （
２ ） ： 、 、 

；

图 芯片通 过 ， ＪＴ ＡＧ 仿真器 与 调试主 机相 连 。 调 （

３ ） 支持断点 调试功 能 硬件 断点 与 软件 断

 ：

试芯 片 时 主 机 中 ，
Ｉ ＤＥ 调用 底 层 软件驱动 函 数 ， 点 的设置与 取消 

；

向 Ｊ ＴＡ Ｇ 仿 真 器 发 送 调 试 命令 仿 真 器 通 过 标 准 ， （
４ ） 査 看 和 修 改 寄 存 器 与 存 储器 

。

Ｊ ＴＡＧ 接 口 与 芯 片进行通 信 。 调试命令 经 ＥＴ 对 该 设 计 方 案 与 ，

ＦＰＧ Ａ 原 型 验证相 比 在 物 理

 ，

芯 片 各 功 能 部 件 进 行 调 试 若发 现 功 能 有 误 需 要 环 境 的 真实 性 上 可 能 稍 有 不 及 主 要原 因 是 该 方

 ， ， ， ．
，

通 过 逻 辑 推 理 诊 断 错误 原 因 回 归 模 拟 验 证 方法  案 仍 然 是 基 于 Ｎ Ｃ ｖｅ ｒ
ｉ ｌｏ ｇ 的 模拟验证 但其 

定
一

， ， 。

将 问 题重 现 然后 对设 计 代 码 进行 修 改 并 将 其 再 能 够 更 圩 的 完 善 在， ，
ＦＰ ＧＡ 验证 阶 段 之前 的 验证


．
次进 行 逻 辑 综 合 进 而 烧 人 Ｆ ＰＧＡ 。 如 此 重 复 迭 代 工 作 

。

操 作 直 到 验 证 结 果 全 部 正 确  除 此 之外 该 设 计 方 案
， 。 ，
一

个重 要 的 优 势 在 于 

：


基于 ＰＵ 技术 的 验证 方法 可 以 直接 实 现 对模 拟

 ，

＾ 板
调 駐 机 Ｊ １  芯 片 在 级 的 调试 与 验 证 。 这 样 就 能更 直 观

 ，

｜  丨 ｇ Ａ的 定位错 误来 源
Ｔ


Ｆ Ｐ ＧＡ  减验 证 迭 代 周 期 。
、 方便源 代 码 维 护
体 现 了 其较优越 的 先进 性
，
一

定 程度 上 削




。

Ｄ
 仿真器 Ｇ


？

件
＾
Ｅ
驱 胃 接  ［ ＋ ２ ２ ． 工 作原 理


动   口 Ｓ Ｄ ＲＡ Ｍ旱


Ｊ Ｕ Ｕ
＾图
ｊ

Ｌ
Ｕ ＿ ＿ 

２ 描述 了 基 于 ｐｕ 技 术 通 过共享 内 存 连


、

接 Ｉ ＤＥ 与 Ｙ Ｈ ＦＴ Ｍ ａｔｒ
ｉｘ Ｄ Ｓ Ｐ －

仿 真测 试平 台 的 系 统


 Ｆ Ｐ ＧＡ Ｈ Ｍ ＾ ｉ Ｅ
ｌ
ｆ
级 验证 环 境
ｗ
其 工 作 原 理 分别 以 流 水 线 控 制
ｌ



［ ］

２ ． １ ． ２ 基于 Ｐ ＬＩ 验 证 的 先 进 性 分 析  和 查 看 寄 存 器 或 存储 器 两 类 命 令 举 例 说 明 

。

本 文提 出 了 一

种基于 ＰＵ 接 口 技 术 的 系 统 级 以 流 水 线 控 制 命 令
ｓ ｔｏ
ｐ 为 例 其工 作 原理

 ，

验证方 法 设计原理 图 如 图 ，
２ 所示 

。

－   
 （
１
） 用户点击 Ｉ ＤＥ 界面 ｓ ｏｐ
ｔ 选项 调 用 底 层

 ，

集 鮮 ｔ 环 境 Ｉ ＤＥ
 共 享
至 数据 包 写 入共享


软 件 驱 动 函 数 将 调 试 命 令
（ ）
＿＿ 
ｓｔｏ
， ｐ

 ＾ ＾Ｌ 内 存 ｎ ｐｕｔｑ ｕ ｅ ｕ ｅ 缓 冲 队 列
１

ｙ 驱动程 序 
１ ｌ

ｉ
丨 １ 

；

  厂
ｊ

；
命令 数据 包 对 另 进程 

模


 ４〇 １ ？］ ３ ＾１１
＇

２
一

＞ ］
（ ） （
子 程 序
＿
：

Ｉ ：

｜ １

因 此 通过 接 口 调用相应
 拟器 可见 ＰＵ ｔ ａｓ ｋ
— —

ｗ


．

） 。 ， ，

ｆ ｉ


ｉ

 Ｔ  １  １  ＴＴ  Ｕ
ｌ ｊ

Ｖ 生成 ＥＴ 串 行 输 入 的 外 部 测 试激 励
Ｕ
— ＿＿
Ｉ


；


“ ”

ＭＨ Ｐ Ｉ ？ ３ 在 芯 片 顶 层验证模块 中 ｍｐｏ ｒ

ｔ Ｃ 

子
ｐｆ
ｉ
（ ）
｜

 ４  程
｜ ｆ ｊ Ｊ
４
通道传送解 析 命令后 生 成


７
—

序 经
［

ＥＴ
］
＜
ｓｔ ｏ
ＩＩ ｐ
｜  ｆ ｜ ｜ 
１
，

爾 模块根据激励产 生 相 应 动
ｌ Ｕ ｕ ｕ ｕ ｎ ｎ  Ｉ

上中
＿趙
］
的芯 片外部 激励 ，
ｅｔ 

作
１

 

  — Ｊ
， 并 最 终 使 芯 片 内 部 流 水线 暂 停 

。

设 计 原 理 图以 查 看 寄 存 器 命 令 为 例 其工
ｓ ｈ ｏｗ ｒｅ
ｇ ｉ ｓｔ ｅｒ 

图 ２
—
，

控 制 命令


集成 开 发 环 境 ｉ ｄｅ 中 调 试 界 面 封装 了 多 个
，



胃
调试 函 数 包括针 对特定 ， 目 标 系 统 的 调 试信息 。

驱 动 程 序 的 调试 功 能 主 要 依 靠 与 其 相 连 的 共 轴


，
存 区 将 解 析数 据 包 经 过 ，
ＰＵ 接 口 传送 给 目 标系 ｆ
核响应 寄 命
ｆ 

Ｓ
统 以 标 准 串 行 输人 的 方式 形成 ＾ ＾ １
，

ＥＴ Ｅ ｎｍ ｋ 〇ｎ
， ， （ ｔｉ
２ 

ｒ
的 串 “  ＴＤ 〇 

内
Ｔｅ ｓ ｔ ， 仿真调 试 的 外 部 测 试 激 励 发 送 给 内 ） ， 核处 ｆ  ＿
队列 缓 冲 最 终 显 在 

０ Ｕ １ＷＴ Ｑ Ｕ Ｅ Ｕ Ｅ

不 Ｉ Ｄ Ｅ
理器 其中 主要 为 雖 以 下 功 能 支持
，

。
Ｉ ＤＥ ＤＳＰ ：

北宣 由 衣 的 苗 户
、 界 面 上 供程 序 员 査 看 对 照 结 果 ，
。 如 果 发 现结 果


有 误 可 以 直 接调 出 此 时 的 ＮＣ ＃ 真界 面 通


，

，
＿
Ｓｉ ｍ ，
 ３８０ 第 十 七 届 计 算 机 工 程 与 工 艺 年 会 暨 第 三 届 微 处 理 器 技 术 论 坛 论 文 集



过 波 形或者 源 代 码 实 时 观 测 和 査 找 错误 产 生 的  ２ ，
． ３ ． ２ 同 步读 写指针


原因 ８ ９

通 过 共 享 内 存 在 不 同 进 程 间 传 输 数 据
＿

［ ］



，
＿
除 了 以 上两 调 命々外 调试驱
〒 虽 然 可 以 提 高 验证效 率 但 是 不 同 进 程 间 的 读 写


，

＾ 〒 ， ，

牛驱动 函数 步 、 行 、

速 率 不 尽 相 同 容 易 导 致 数 据丢 失 因 此 在每 

一

ｉ ，
。 ，

块／ 写 存 储 器 等 等 通过这些 驱 函数 配 ｎＥＴ
个 读／ 写 队 列 中 用 队 列 的 头 ／ 尾 指 针 定 健 据 并


，

，
丨

？胃 娜 Ｊ
；
Ｅ ：
片 片 进 行 验ｆ
ｉＷ 试 。 而
且不 同 进 程 间 读 写 指 针 达 到 同 步 

。

是 部件根据 不 關 试 命 令 生 成 芯 片 外
ｔ ａｓ ｋ ．  Ｖ ，
ＥＴ
所谓 读 写 指 针 ｉ 樹 而 言 Ｊ ， 姻 ３ 所示 读 指

 ，

部激励 的 Ｖ ｅｎｌｏ ｇ 任务 。

针 是 指 当 ，
Ｄ ＳＰ 读 取供 Ｉ ＤＥ 写 入 调 试 数据 命 令 包




’

的 Ｉ Ｎ ＰＵＴｑ Ｕ Ｅ Ｕ Ｅ 缓 冲 中 的 队列 头指针 和尾指针 ，

代 码 维 护 更 加 方 便 直观 更 能 快速定位 出 错位 置
以及 当 读取供 写入返 回 数据包 的
’

ＤＥ Ｄ ｓｐ 

，

大提 了 验 证 效 率 也 Ｓ 得 全芯 片 的 說 级 验
腿雨收 丽 缓 冲 巾 的 队列 头 尾指针 写指


，

产 ＝ 、 ；

ｖＥ Ｍ ｔｎ ＾ ｏ

针 是 指 当 ，
Ｉ ＤＥ 向 Ｉ Ｎ ＰＵ Ｔ Ｑ Ｕ Ｅ Ｕ Ｅ 缓 冲 中 写 入 调试


２ ． ３ 技 术 支 撑 命令 数 据 包 的 队 列 头 尾 指 针 以 及 当 Ｄ ＳＰ 向 
 、 ，

ＯＵ ＴＰＵＴＱ Ｕ Ｅ Ｕ Ｅ 缓 冲 中 写 人 返 回 数 据 包 的 队 列

 ．

２ ． ３ ． １
共 享 缓 冲 队 列 头 尾 指 针 、 

。

＜
共享 内 存 是 内 核 为 了 在 多 个 进 程 间 交 为 了 同 步 读 写 指 针 以 单 个 缓 冲 队列 为 例 将
８



［

， ， ，

换信息 而 留 出 的 一

块 内存区 。 每 个 要 访 问 该 段 内  共享 区 域 内 部 划 分 为 三 部 分 分 别存 放 队 列 头 指

 ， ：

存 的 进程 都 可 以 把 它 映 射 到 自 己 的 地址空 间 。 如针 尾 指 针 和 传 输 的 数 据 结 构 这 样
、 ， 读 操作就


果 一

个进 程 更 新 了 段 中 的 数 据 那 么 其 他 进 程 立 以 队列 头 指 针 为 索 引 读 取 当 前 相 应 的 数 据 ， 。 如图


即 会 看 到 更新  ４ 所 示 。 

。

共享缓 冲 队列 是 通 过 在 共 享 内 存 区 形 成 两 ｔ ，

１

 
个位宽 深 度 、
一

致的 ＦＩ Ｆ Ｏ ， 实现 Ｉ ＤＥ 与 ＮＣ ＿
Ｓｉ ｍ
 ＾ 
Ｉ ｌ
｜ 

，  ＇  — —  —

不 同 进程 间 的 通 信 传 递 调 试 解 析 数 据 包 ， 。 两 个 「 名 ｆ ： 

｜




３１ 
Ｄａ ｔ ａ ｓ ｔ ｒｕ ｃ ｔ  Ｆ ｉ ｅ ｌ ｄ
ＦＩ Ｆ Ｏ ， 读 写分离 确 保数据通 信正 确 高 效 ， 、 ：
一

个 ＿

｜
＊


ｊ

．
为 输 人 队列 Ｉ Ｎ Ｐ ＵＴ Ｑ Ｕ Ｅ ＵＥ ， 用 以将 Ｉ ＤＥ 的 调 试命  Ｌ 」 ． ． ． 」 … — — 
  

」

令传 送 给 处 理 器 （
Ｉ ＤＥ 写 内 核读
， ） ； 另 一

个 为 输图 ４ 北享 内
存 区 域划 分


撒列
试命 令 的 删 值 細
ＯＵ ＩＰ Ｕ Ｔ Ｑ Ｕ Ｅ Ｕ Ｅ ， 用 以 将 处 理 器执行完 调
ｍＥ 獅 （ 浦写 ，
ｍＥ


其 中 ，
＊
阶共 ＾ 存 首 地址 ；
＊ ｆｒｏ ｎｔ ： 队列 头



读 ） 。 通 信 结 构麵 ３ 所示 

。

多 核加 速



３
ｍ ｍ Ｉ

Ｂ  Ｉ ＮＰＵ ＴＱＵＥ Ｕ Ｅ ｆ
■


 ｉ

设计原 理



 ３ １
 
．

ｌ Ｄ

Ｄ 
 Ｓ ＹＨ ＦＴ Ｍａ ｒ
ｉｘ Ｄ Ｓ Ｐ  的 四 核


Ｑ Ｍ Ｂ ａ ｓ ｅ  为  Ｙ Ｈ ＦＴ


－
ｔ
＿

Ｅ
ｒ ＾ － ，

  ，
１
－ － 
Ｐ
同 构 处 理 器 。 为 了 提高仿真速度 本 文提 出 ，
一



种

丨
｜  Ｉ 丨 丨
ｏ ｔ ｐｏ
ｏ ｔ ｑ ｕ ｅｕｅ
丨 ｜  ｜ ｜

 Ｊ ［ ＿
可加速多核芯 片 仿 真 速度 的 模 拟 环境 并且可以

 ，

卜 结合 第 二 节 的 系 统 级 验 证 方法加速 多 核 芯 片 的验


   

为 设计 原 理 图
图 ３ 单核 通 倍 结 构 图 证 。 图 ５ 

。

ＹＨ ＦＴ Ｑ Ｍ Ｂ ａｓ ｅ －

模 拟 环境 的 主要 特点 有 

：

这 样 用 共享 内 存 机 綱 接 取代 统经 ＴＡＧ
，

，
Ｊ

 （
１
）
５ 个 ＮＣ ＿
Ｓｉ ｍ 觀器 其中 ，
ＮＣ ＿
Ｓ ｉ ｍＯ  

￣

仿 真器 连 接 ＦＰ ＧＡ 聽 Ｕ 验证 使 错误査 找 更 ｔ
Ｎ 目 个模拟器側 仿真 日 个单核
， ：

Ｇ ＿
Ｓ ｉ ｍ３ Ｙ Ｈ ｐＴ 

＿

观 系 统 级 验 证 更 高 效 源 代 码 维 护 更方 便 。
Ｍ ａ 个用 于 仿真 片 外访 存 接 口  Ｅ Ｍ Ｉ Ｆ 。
’ ，

ｔ ｉｘ
ｒ ， 另 －
—

种基于 ＰＵ 技 术 的 系 统 级 验 证 方 法  ３ ８ １



￣

園 丨
共 每７＆ 存 ．

ｊ］  ＃ ｄｅ ｆｍ ｅ  ＱＵ ＥＵ Ｅ ＿
Ｄ ＥＦＩＮ Ｅ（ｎａｍ ｅ ，
ｔ
ｙｐ ｅ ） 
成 Ｈ Ｉ Ｎ ＰＵ Ｏ ＥＵＥ 
Ｔ Ｉ
ｏｕ ｔ ｐｕ ｔｏｊ ｅｄｅ Ｉ Ｉ

 Ｓ ｔｒ ｕｃｔ  ｎ ａｍ ｅ ｛   

＼

五
开  － － － － 
．
 ｓ ｔ ｒ ｕ ｃ ｔ ｔ ｙｐｅ
＊
ｄａｔａ ａｒ ｒ 
ｒ， 晉 豕 
  

＼
￣
，

 ｒ ｗｗ ｗ  
１

Ｓ １ ＊ 

〉

Ｓ  Ｙ  ｍ


ｆ


 ．
ｔ ｒ ｅａｒ ； 

＼

７ ￡
ｆ


＊

ａ ｉ ｎｔ ｍ ａｘ ｓ ｚｅ
 ｉ 

＼

Ｐ 點


一
；

  ？Ｔ 


，
Ｄ
Ｉ
＿
ｌ ｅｔ ｒ ｉ ｘ 
ｆ

藏爸鮮倉
；

＃ ｄｅ ｆｉ ｎｅ
Ｉｎ
ｐｕ Ｑ ｕｅｕｅ
 ｔ

ｊ


＃  … － … …

门  Ｑ Ｕ ＥＵ Ｅ Ｄ ＥＦ ＩＮ Ｅ Ｉ ｎ
（ ｐｕｔ Ｑ ｕ ｅｕｅ Ｊｎｐｕ Ｄ ａｔａ）
＿ 

ｔ

Ｓ  ｇ  定 义 ｎｐｕ Ｑ ｕｅｕｅ 矣 型 队 列 备纳 Ｄ ａｔａ 


类
＊
／ Ｉ ｔ ， Ｉ ｎｐｕ ｔ
；
一￣ ＂ ￣

廿能 ＡＫ 
共 享缓冲 队列


、
１ ｆ
ｈｖ
＾ ＾
型数据结 构 ＊ 

／

Ｖ３  ０  ＃ｄ ｅｆ
ｉｎ ｅ  Ｏｕ ｐｕ Ｑ ｕｅｕｅ
ｔ 
 ｔ

 和＋
ＱＵＥＵＥ Ｄ ＥＦＩＮＥ （０ ｕｔｐｕ Ｑ ｕｅｕｅ ０ ｕｑ Ｕ ｔ Ｄ ａ ｔ ａ）
—

ｒｓ
荽 另 ＿
ｔ ，
）



２
２  ．
 ３ ３  ｂｄ —＿ ｉ  定 义  ｎｐｕ Ｑ ｕｅｕｅ 类 型 队 列 Ｓ 纳
／
＊
Ｉ ｔ  ， Ｉ ｎｐｕｔＤ ａｔ ａ  

类
ｌ 
麵 据，  

 ＾


＂

Ｉ
Ｌ １ Ｐ０  Ｌ Ｉ Ｄ Ｏ  ＤＭＡ Ｏ ３ ． ３ 模 拟 速 度 评估



１ １  ＹＵ ＦＴ
－

Ｍａ ｔ ｒ ｉ ｘ  Ｃ ｏ ｒ ｅ Ｏ  ３
〇
． ３ ． １ 速 度 评 估 方 案




砑

 册 通 过进程 通 信 的 方 式 实 现
（ ＮＣ Ｓ ｉ ｍ〇 ）

Ｙ Ｈ ＦＴ Ｑ Ｍ Ｂ ａ ｓ ｅ
－

ｉｆ Ｉ 间 
 －

全 芯 片 模 拟 环 境 之后 对 模 拟 环 境 通 信 速 度 进

 的
— ＇

 ？

１
．  ｍ 行 评 估 。 为 了 使 测 评更充分 以 ，
ｌｉ ｐ 为 例 根据

 ，

 １

 功能的不 同 考虑 了 三 种 不 同 的 测 试激励 ，
［
１ ＾ １ ３
］



，

分别 为 通 信密 集 型 运 算 密 集 型 和 两 者 的 折 中 型 、 

。

图 ５ 设 计原 理 图 通信密 集 型 旨 在 统计 Ｌ Ｐ 与 Ｅ Ｍ Ｆ 两 者 
 （
１
） ：
１ Ｉ

（
２ ） 单核 内 部 Ｌ１ Ｐ 、 Ｌ１ Ｄ 、
Ｄ ＭＡ 与 Ｅ Ｍ ＩＦ 之 间 间 频 繁 通 信对 模 拟 速 度 的 影 响
＇
：
Ｌ１ Ｐ 的 连 续 读请


的 数据 交 互 通 过 共享 内 存 实现  求 以 及 Ｅ Ｍ Ｆ 连 续 返 回 的 ５ ２ 位 取指 包 。
Ｉ １ 

。

（
３ ） 数据 共 享 机 制 是 位 宽 深 度 致 的 共 享  ２ 运 算 密集 型 Ｌ Ｐ 与 Ｅ Ｍ Ｆ 之 间 的 通 信 量

 、
一

（ ） ：
１ Ｉ

缓 冲 队 列 较 少 而 单 核 内 部 的 运 算 量 庞 大 指 令 高 并 行 多 

？

， （ ，
。

４ 在 系 统 级验证 调 试 多 核全 芯 片 更 高 效 次循 环 ） 。


（ ） 、 ，



＿

并 且 不 必 通过 ＦＰＧＡ 直 接 在 ＲＴＬ 级 实 现 源 代 码  ３ 折 中 型 通 信 量 和 运 算 量 处 于 上 述 两 种
，

 （ ） ：

维 护 情 况 较 为 折 中 的 水 平
。


。

在 以 上 三 种 测 试 激励 下 统计 模 拟 速 度 进 行

 ，

队列 类型复用
３ ２ ．

仿 真效率分析 

。

单核 与 外 部 存 储 接 口 存 在 数 据 通 道 的 有３ ． ３ ． ２ 统 计 报告 及 分 析


ＤＭ Ａ 三 大部 分 每 个 功 能 部 件 与 Ｅ ＭＩＦ
Ｌ１ Ｐ Ｌ １ Ｄ 、 、 ，
 模 拟 环 境效 率 分析 在 多进程 模 拟 环 境 下 不 
 ： ，

之间 经 两 个共享 队 列 缓 冲 （
Ｉ Ｎ ＰＵＴＱ Ｕ Ｅ Ｕ Ｅ 与  同 测 试 激励 的 仿真效 率 不 尽 相 同 由 表 可 以 看

 。
１

Ｏ ＵＴＰＵＴＱ Ｕ Ｅ Ｕ Ｅ ） ， 则单核与 Ｅ Ｍ ＩＦ 的 通 信需 要 ６
出 在 数 据 通 信 占 主 体 的 情 况 下
， ， 通 信 效 率 折损 

，

（
３ ＊ ２ ） 个 队列 ，
３ 种 数 据类 型 为 ，
〇 ３１３ ＿
３ 加１ （ ； １
自 定  主要 是 因 为 进 程 间 的 相 互 通 信 本 身 就 耗 费 了 时


义数据 结 构 体 （ 三 部 分数据 类 型 各不 相 同 间 然 而 在 内 核 运 算 占 主体 时 仿 真效率迅 速提 
 ） ， 因 ．

； ， ，

此 四 核互连则 需
，
２４ 个缓 冲 队 列 为 了 减 少 程 序  升 这是 由 于 在各 个 模 拟 器 中 仿 真 的 单 核 处 于 高
，

 ，

复杂 度 单核 内 的 三 种 数 据 结 构 队 列 复用 复
［ ］

速运算 状 态 因 此 由 进 程 间 通 信 而 耗 费 的 时 间 就
，

 。
，

用 方 法 如 下 显 得 微 不 足 道 而 折 中 型 则 体 现 了 两 者 共 同 
：
； ，

优势 

。
 ３８２ 第 ＋ 七 届 计 算 机 工 程 与 工 艺 年 会 暨 第 三 届 微 处 理 器 技 术 论 坛 论 大 集





■

表 １
不 同 测 试 激 励 下 的 通 信 效 率 统计


‘

原 全 芯 片 仿真  现模 拟 环 境


激 励类 型   一

仿 真效 率


进程数 （
ＮＣ ）  耗 时 秒  进程 数 （
．
〉 （
Ｎ Ｃ ） 耗 时 （ 秒 ）
 



通 信 密 集 型  １ ． ３０  ５  ４５  ０ ． ６ ６７



运 算 密 集 型  １ １ ２ ００ ５  １ ５０ ８ ． ０００



折 中 型 １  ４４０  ５  ６２  ７ ． １ ００



２０ １ １ 

．

４ 结 束 语 ［
４ ］  Ｃ ａｄｅｎ ｃ ｅ  ＶＰＩ／ ＶＨＰＩ  Ｍ ． ｉ ｘｅｄ －
Ｌａｎｇ ｕ ａ ｇｅ  Ｉ ｎｔ ｅ ｒｆａｃ ｅ Ｕ ｓ ｅ ｒ



Ｇｕ ｉ ｄ ｅ  ａｎ ｄ  Ｒｅｆｅ ｒ ｅｎ ｃ ｅ ．  ２０ １ １ 

．

本文 首 先 以 ＹＨ ＦＴ ｉｘ  为 例
Ｍａ ｒｔ
介绍 了 一

种
 Ｃ ａｄ ｅｎ ｃ ｅ Ｖ ＰＩ  Ｕ ｓ ｅ ｒ  Ｇｕ ｄ ｅ  ａｎ ｄ  Ｒｅｆｅ ｒ
．
＿
，

［
５ ］
．  ｉ ｅ ｎｃ ｅ ． ２０ １ １ 

．

通过 ＰＬＩ 接 口 与 进程 间 通 信技术 所 实 现 的 系 统 级  ［
６ ］  Ｃ ａｄ ｅ ｎ ｃｅ ．  Ｓ ｙ ｓ ｔ ｅ ｍＶ ｅ ｒ
ｉ ｌ ｏｇ  Ｄ Ｐ Ｉ  Ｅ ｎｇ ｉ ｎ ｅ ｅｒ
ｉｎ ｇＮ
ｏｔ ｅ ｂ ｏｏ ｋ 

，

验证／ 调 试 方 案 该 方案对 芯 片 系 统 级尤 其 是 ，
ＲＴＬ  ２ ０ １ １ 

．

级 全 芯 片 调 试 验 证 以 及 源 代 码 维 护 具有 重 大 意  、 ［
７ ］  Ｃ ａｄｅｎｃ ｅ  ＶＰＩ  Ｕ ｓｅ ｒ  Ｇｕ ｄｅ  ａｎｄ  Ｒｅｆｅ ｒ
． ｅ ｎ ｃ ｅ ２０ ００ ｉ
，


．

义 。 在 此基 础 上 进 ，
一

步以 ＹＨ ＦＴ Ｑ Ｍ Ｂ ａｓ ｅ －
．

为例  ，
［
８ ］ Ｗ ．  Ｒｉｃ ｈ ａｒｄ  Ｓｔ ｅｖ ｅ ｎ ｓ ＵＮＩ Ｘ ． 
网 络编程 杨 继张 译 北

 ？
，
？

搭 建 了 四 核 处 理 器 的 模 拟 环 境 旨 在更 大 限 度 的 ｉ Ｓ ＾＾ ，
： ｆｌｉ Ｍ± ，
２ 〇〇 〇 

－

谭浩 强 程序 设计 第 二 版 北京 清华大学


提高 多 核 处 理 器 仿 调 试 的 工 作效 率 。  ［
９ ］
． Ｃ ＋ ＋ （ ）
■
：

本 文 的 设 计方 案 虽 然 改 善 了  ＦＰＧＡ 原 型 验

 ，

［
Ｗ 

］

证 中 错误 雜 酬 誠 赚 改 不 便 肖 雜 賊 、

周账的不足 。 但 是 从性 能统 计来 看 进 程 间 通
，
 ，

信 密 集 时 仿 真 效 率仍 然 存 在 较 大 的 提 升 空 间
■

。
 Ａｌ ａｎ  Ｈ ｕｎｔ ｅ Ａｒ
，
ｎｆａｗ
；

ｉ ｅ ｉ ｇｅ ｎｍ  Ｅ ｄｕ ａｒ ｄ  Ｃ ｅｍｙ
Ｊ ａｎｉ ｃ ｋ  ｆ
＾

ｆ
１ １
； ］ ，
ｉ：  


这 是 因 为 不 同 进 程 的 通 信本 身 就 存 在，
ｇ 验 证方 法 学 夏 宇 闻 杨

一

定 的 延  Ｎ ｇｈ ｉ ｔｉ ｎ ａｌ ｅ ．  Ｓｙ ｓ ｔ ｅｍ Ｖ ｅ ｒ
ｉｌ ｏ ｇ ．
，

时 此 外 数 据 同 步 技 术 的 应 用 也 削 减 了 通 信 效雷 陈 先 勇 徐 伟 俊 杨 鑫 译 北 京 北 京 航 空 航 天
， ，

 ， ， ， ，
．
：

率 。 这也 是本设 计 方案 中 的 难 点 所在 出 版 社 。 ，
２ ０ ０７ 

．

［
１ ２ ］ 陈海 燕 郭 阳 刘 祥远 陈 吉 华 ， ， ，
．
集成 电 路 计 算 机 辅


助设 计 与 验 证 实 践 长 沙 国 防 科 技 大 学 出 版

 ．
：

社 ，
２０ １ ０ 

．

［
１
］  Ｃ ａｄｅｎ ｃ ｅ  Ｐ ． ｒｏ
ｇ
ｒａ ｍｍｉ ｎ
ｇ
Ｉ＾
ｇ
ｕａ
ｇｅ
Ｉ ｎ ｔ ｅｒ
ｆａｃ ｅ  （ ＰＵ ） ．

 ［
１ ３ ］ 陈吉 华 郭 阳 陈 海 燕 桌 成 电 路计算 机 辅 助 设 计
， 
 ，
．

２〇 Ｕ ＇

ｒ，    与 验证算 法 ？
长 沙 国 防 科 技 大学 出 版社
： ，
２０ １ ０ 

．

 Ｃ ａ ｄｅ ｎ ｃ ｅ  Ｐ Ｌ
Ｗ
，

［
２ ］
Ｕ．Ｇ Ｉ ｉ ｚ ａ ｒｄ  ｓｅｒ  ｕ ｉ ｄｅ ． ２０ １ １ 

．

［
３ ］  Ｃ ａ ｄｅ ｎ ｃ ｅ ．  ＰＬＩ  Ｗ ｉ ｚ ａ ｒｄ  Ｋｎ ｏｗｎ  Ｐｒ ｏｂｌ ｅｍ ｓ ａｎｄ  Ｓ ｏｌ ｕ ｔｉ ｏｎｓ 

．



ｉ