DupPack装箱方法和装箱结果验证.pdf

文档介绍：学校 代码 ：
硕 士 学 位 论 文
科学学 位 )
装箱方法和 裝箱结果验证
院 系 ： 微 电 子研 究 院
专 业 ： 微 电 子学 与 固 体 电 子学
姓 名 ： 张作舟
指 导 教 师 ： 王 伶俐 教授
兀 成 曰 期 ： 年 月 日
指 导 小 组成 员
童 家榕 教 授
王伶俐 教 授
周 学 功 讲 师
王 颖 博士 后
目 录
艘
第 章 绪 论
课题背 景
简 介
论 文 贡献
论 文 组织
第 章 理论 基础
软件 设 计流程
装箱简 介
通用 装箱算法
约 束满足 性 问 题描 述
构 造装箱 问 题 的 模型
改进 目 标
第 章 装箱方 法
标准功 能 单元 的 衍生
电 路 改 写 指令 系统
指 令集设 计
基于 的 电 路 改 写
基于 的 装 箱输入
电 路改 写 过程 举 例
二 次 装箱
二 次装箱 流程
电 路样 本 库结 构
标准模块装箱 方 法
高 级 逻辑装箱方 法
时 序优化 策略
实验 结 果
结 束语
第 章 装 箱 结果 仿 真和 验证
网 表 级 仿真和 验 证
4 . 2 位流级 仿 真
必 要 性分析
验 证 的 传统方 法
基于 模型 的 功 能 仿真
功 能模型 的 建 立
功 能模型 配置 方法
模 型配置 举例
读取 编程 点 的 方法
位 流文件 的 验证
位 流级 仿真方法
对 位流文 件进行验证
位 流级 仿 真的 调 试
实 验 结 果
结束 语
第 章 总 结 与 展望
工 作 总 结
未 来展望
参 考 文 献
觀
攻 读 硕 士 学 位期 间 发表论 文 的 清单
摘 要
摘 要
在 数字 电 路设 计领域 中 , 已经 成 为 一种 最普遍 的 实现途径 。 将 电 路映
射到 的 工 具质量 是决定 性 能 的 重要 因 素 之 一 , 装箱 即 为
流程 中 实 现从用 户 电 路 到 硬件结 构 映射 的 关 键步 骤 , 它 把前级输 出 的 基本