朱明
- 作品数：8 被引量：14H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- SOC系统中C到VHDL的转换被引量：5
- 2002年
- 近年来,SOC设计方法学的研究越来越引起人们的注意。C语言适合对系统进行高层次的描述。C语言的系统描述经过软硬件划分之后,要求将硬件实现部分转换为适合于综合的VHDL语言。文章通过分析两种语言的区别,提出并实现了适于表达C语言描述内容的VHDL结构形式,并对几种C语言结构提出合理的转换方案。实验表明,文章提出的方案是正确的和有效的。
- 赵建洲朱明边计年薛宏熙
- 关键词：系统芯片C语言VHDL语言超大规模集成电路
- 3SOC系统中C到VHDL的转换
- 近年来,SOC设计方法学的研究越来越引起人们的注意.C语言适合对系统进行高层次的描述.C语言的系统描述经过软硬件划分之后,要求将硬件实现部分转换为适合于综合的VHDL语言.本文通过分析两种语言的区别,提出并实现了适于表达...
- 赵建洲朱明边计年薛宏熙
- 关键词：系统芯片软硬件协同设计C语言VHDL
- 文献传递
- 扩展的高层次行为描述内部模型
- 2002年
- 随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中。适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难。文章介绍了一种允许使用C和VHDL独立描述原始模块,通过创建统一内部模型IIR的办法实现对功能元件和算法模块的混合处理。IIR内部模型以XML文件格式作为外部存储,能够方便地被划分、综合、验证等处理程序使用,避免了重复的原始描述文件分析,提高了研发效率。
- 朱明边计年薛宏熙
- 关键词：VLSI超大规模集成电路片上系统可扩展标记语言
- 扩展的高层次行为描述内部模型
- 随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中.适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难.本文介绍了一种允许使...
- 朱明边计年薛宏熙
- 关键词：片上系统可扩展标记语言
- 文献传递
- 基于CDFG和OVL的系统验证性质分类被引量：1
- 2005年
- 在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
- 朱明边计年吴为民
- 软硬件协同验证系统平台间通讯设计被引量：7
- 2003年
- 软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行全面快速验证的测试系统将会大大提高协同设计的效率[2]。测试系统中不同平台之间数据和信号的发送与接收是系统中必不可少的组成部分。该文介绍了测试系统平台间通讯方式和通讯协议的设计与实现。
- 朱明边计年薛宏熙
- 关键词：软硬件协同设计软硬件协同验证并口SOC
- 面向系统功能特性的协同验证方法研究
- 2005年
- 为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。
- 朱明边计年吴为民
- 基于模块的层次化模型判别被引量：1
- 2003年
- 模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。
- 聂江波边计年薛宏熙吴为民朱明
- 关键词：集成电路有限自动机
