检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 2004年第11期16卷 1557-1561页

作者：王大伟熊志辉李思昆国防科学技术大学计算机学院长沙410073

提出了一种基于OCP(OpenCoreProtocol)通信协议的虚部件级软硬件协同建模方法 ,并建立虚部件级模型———FITM (FunctionInterfaceTimingModel) FITM介于系统级算法模型和RTL时钟精确的模型之间 ,可简化系统级任务直接映射到RTL体系结... 详细信息

提出了一种基于OCP(OpenCoreProtocol)通信协议的虚部件级软硬件协同建模方法 ,并建立虚部件级模型———FITM (FunctionInterfaceTimingModel) FITM介于系统级算法模型和RTL时钟精确的模型之间 ,可简化系统级任务直接映射到RTL体系结构的难度 ;基于FITM的协同仿真对仿真的精确性和速度进行折中 ,可有效地解决系统级仿真不够精确和RTL仿真速度慢的问题 ,所得到的仿真结果能最佳地支持软硬件划分决策和系统性能分析为了使虚部件级软硬件模型之间的通信独立于RTL的总线协议 ,文中采用OCP事务级通信协议 ,大大提高了模型的重用性

关键词：事务级设计 OCP 基于平台的设计

来源：评论

学校读者我要写书评

暂无评论

片上系统高层等价性检验关键技术研究

片上系统高层等价性检验关键技术研究

引用

作者：胡健国防科学技术大学

学位级别：博士

当今片上系统(System-on-chip,SoC)设计复杂度越来越高,很多复杂设计已经无法从寄存器传输级(Register Transfer Level,RTL)开始建模,对高层次行为和体系结构模型的需求越来越迫切,系统级功能验证已经成为影响SoC设计效率和质量的最重... 详细信息

当今片上系统(System-on-chip,SoC)设计复杂度越来越高,很多复杂设计已经无法从寄存器传输级(Register Transfer Level,RTL)开始建模,对高层次行为和体系结构模型的需求越来越迫切,系统级功能验证已经成为影响SoC设计效率和质量的最重要环节。针对SoC系统级功能验证各层巨大差异带来的重复工作多、验证效率低下等突出问题,本文研究SoC高层等价性检验技术,在理论和实践上解决目前高层等价性检验存在的问题。SoC高层等价性检验技术主要采用模拟方法,断言方法和形式化方法。模拟方法主要是通过比较在相同的测试激励下,不同层次设计输出结果是否相同。断言的方法主要是通过验证不同层次设计是否满足相同的功能断言。形式化方法主要利用形式化技术(模型检验,谓词抽象和符号模拟)验证不同层次设计是否完全等价。三类方法目前都面临一些困难。模拟方法通过模拟大量的测试矢量进行验证,开销较大并且无法保证测试的完备性。断言方法的验证质量完全取决于定义断言的质量。形式化方法存在需要设计之间的映射关系和状态空间爆炸等问题。本文首先综述了SoC高层等价性检验技术及相关技术迄今为止的研究进展,对现有SoC高层等价性检验方法进行了分类,介绍了每种方法的研究现状,分析了各种方法的优缺点。最后分析了目前SoC高层等价性检验还存在的问题。本文的研究工作围绕SoC高层等价性检验的关键技术展开,针对目前SoC高层等价性检验中存在的问题,提出了新的算法并取得了如下创新成果:首先,针对模拟方法验证效率较低,验证开销大,无法保证设计完备性等问题,本文提出了一种基于覆盖率指导的模拟等价性检验算法。首先分析了系统级与事务级(Transaction Level Modeling,TLM)的相似性(算法描述,模块划分,数据类型)以及覆盖率在不同层次间的关系,根据分析结果,引入代码覆盖率和功能覆盖率作为高层测试矢量的质量测度。利用复合覆盖率(代码覆盖率和功能覆盖率)在系统级产生高质量测试矢量,并利用该测试矢量模拟系统级与TLM模型,比较观察变量的值是否相等。实验结果表明,该方法能重用高层的验证努力,高效地验证系统级与TLM模型的等价性,同时还能有效地提高模拟方法的验证完备性。其次,针对形式化方法需要设计映射信息和验证效率较低等问题,提出了一种基于深度路径的等价性检验算法。该方法提取系统级模型的带数据通路的有限状态机(Finite State Machines with Data Paths,FSMD),随后提取FSMD中所有深度路径。利用测试矢量生成技术,产生所有深度路径的测试矢量。将输出状态语句插入RTL模型中,利用产生的测试矢量模拟RTL模型,输出对应的深度路径。最后,利用符号模拟和约束求解器验证对应路径的等价性。该方法能够验证无映射信息的设计之间的等价性,同时,只需验证对应的深度路径,避免了盲目的深度路径比较。实验结果表明,该方法相比于目前的基于深度路径的方法,减少了深度路径验证次数,提高了等价性检验效率。再次,针对形式化方法需要设计映射信息和验证效率较低等问题,提出了一种基于机器学习的等价性检验算法。该方法无需提取模型的FSMD,减小了验证开销。将状态输出语句插入系统级与RTL代码中,利用硬件设计开发过程中产生的大量测试数据,模拟系统级与RTL模型,得到FSMD状态序列。利用机器学习技术划分状态序列,得到分类状态集合。根据状态的类别,构造系统级与RTL对应的路径。最后利用符号模拟和约束求解器验证对应路径的等价性。该方法能够有效解决差异巨大设计之间的等价性并能验证无对应信息设计的等价性。利用机器学习技术识别对应的路径,减少盲目的路径比较。实验结果表明,该方法能够高效的验证无映射信息的系统级与RTL设计等价性。最后,针对高级综合调度前后验证效率不高,循环结构需要多次迭代等问题,提出了一种基于共享值图(Shared-Value Graph,SVG)的等价性检验算法。该方法利用割点技术,产生高级综合调度前后设计的潜在互模拟位置,利用SVG验证互模拟位置之间公共变量的等价性。割点技术能够划分大规模设计,验证大规模设计的等价性。通过定义互模拟关系减少自动定理证明器求解的次数,提高验证效率。同时,SVG能够一次性的验证循环结构,避免了进行固定点迭代过程中大量的计算。实验结果表明,该方法能够高效的验证高级综合调度前后设计的等价性。

关键词：等价性检验系统级设计事务级设计 RTL设计覆盖率分析 FSMD 形式验证符号模拟

来源：评论

学校读者我要写书评

暂无评论

基于OCP通讯的SoC虚部件级软硬件协同建模方法

基于OCP通讯的SoC虚部件级软硬件协同建模方法

引用

全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

作者：王大伟熊志辉曹亚菲李思昆国防科技大学计算机学院(长沙)

本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM.虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的... 详细信息

本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM.虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的难度;基于FITM模型的协同仿真对仿真的精确性和速度进行折衷,可有效解决系统级仿真不够精确和RTL级仿真速度慢的问题,所得到的仿真结果能最佳的支持软硬件划分决策和系统性能分析.为了使虚部件级软研件模型之间的通讯独立于RTL级的总线协议,我们采用Open Core Protocol事务级通讯协议,大大提高了模型的重要性.最后给出MP3 Decoder和数字化士兵音视频解码与播放器SoC的建模实例.

关键词：事务级设计 Open Core Protocol SoC 虚部件级模型

来源：评论

学校读者我要写书评

暂无评论

基于XML的SoC事务级IP库管理技术研究与实现

基于XML的SoC事务级IP库管理技术研究与实现

引用

第九届计算机工程与工艺全国学术年会

作者：于潇熊志辉王大伟李思昆国防科技大学计算机学院国防科技大学信息技术与管理学院

面向SoC系统高层设计,本文提出一种基于XML的事务级IP库的管理技术.基本思想是:a)先定义事务级IP核的描述模型TAM和存放格式.b)针对事务级IP核的特点,以IP核的功能作为IP搜索的主要因素,把功能相同的IP核封装在同一个XML文件中.这种方... 详细信息

面向SoC系统高层设计,本文提出一种基于XML的事务级IP库的管理技术.基本思想是:a)先定义事务级IP核的描述模型TAM和存放格式.b)针对事务级IP核的特点,以IP核的功能作为IP搜索的主要因素,把功能相同的IP核封装在同一个XML文件中.这种方法优化了IP核存储结构.实验证明,这种事务级IP核的管理技术能突出IP库的层次特点,提高IP核的搜索效率,有助于事务级向上、向下分别到算法级和RTL级映射,以及事务级IP的交换和重用.

关键词： SoC 事务级设计 IP XML 数据库管理

来源：评论

学校读者我要写书评

暂无评论

基于平台的事务级体系结构模板的建模与仿真方法研究

基于平台的事务级体系结构模板的建模与仿真方法研究

引用

第九届计算机工程与工艺全国学术年会

作者：张伟陈吉华王大伟李思昆国防科学技术大学计算机学院长沙410073

本文面向基于平台的SoC设计,提出一种事务级体系结构模板的建模与仿真方法.我们建立了CCST(ComputationCommunicationSchedulingTemplate),该模板可以描述事物级体系结构的计算、通讯和调度特征,便于快速构建事务级SoC平台和进行平台的... 详细信息

本文面向基于平台的SoC设计,提出一种事务级体系结构模板的建模与仿真方法.我们建立了CCST(ComputationCommunicationSchedulingTemplate),该模板可以描述事物级体系结构的计算、通讯和调度特征,便于快速构建事务级SoC平台和进行平台的设计空间探索.我们提出一种基于虚拟中间接口--VMS(VirtualMiddleSocket)的仿真方法,该方法实现了事务级软硬件模块之间的透明访问,加速了事务级软硬件IP核的协同仿真.最后我们给出一个JPEG编码过程的事务级建模与仿真实例.

关键词： PBD CCST 虚拟中间接口事务级设计 IP

来源：评论

学校读者我要写书评

暂无评论

基于OCP通讯的SoC虚部件级软硬件协同建模方法

基于OCP通讯的SoC虚部件级软硬件协同建模方法

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：王大伟熊志辉曹亚菲李思昆国防科技大学计算机学院国防科技大学计算机学院国防科技大学计算机学院国防科技大学计算机学院

本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM。虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构... 详细信息

本文提出了一种基于OCP通讯协议的虚部件级软硬件协同建模方法,并建立虚部件级模型——FITM。虚部件级模型FITM(Funtion Interface Timing Model)介于系统级算法模型和RTL级时钟精确的模型之间,可简化系统级任务直接映射到RTL体系结构的难度;基于FITM模型的协同仿真对仿真的精确性和速度进行折衷,可有效解决系统级仿真不够精确和RTL级仿真速度慢的问题,所得到的仿真结果能最佳的支持软硬件划分决策和系统性能分析。为了使虚部件级软硬件模型之间的通讯独立于RTL级的总线协议,我们采用Open Core Protocol事务级通讯协议,大大提高了模型的重用性。最后给出MP3 Decoder和数字化士兵音视频解码与播放器SoC的建模实例。

关键词：事务级设计 Open core Protocol 基于平台的设计

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：