薛宏熙
- 作品数：39 被引量：60H指数：5
- 供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- CMOS宏单元自动生成中逻辑到电路的转化
- 苏明薛宏熙
- 关键词：MOS集成电路逻辑电路电路集成电路工艺
- 基于抽象体系结构模板的多路软硬件划分算法被引量：12
- 2004年
- 随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。
- 吴强边计年薛宏熙
- 关键词：系统芯片嵌入式系统
- C语言系统描述的HCDFG-Ⅱ实现
- C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证以及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图．本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型,以及从C语言生成...
- 赵康边计年吴强薛宏熙
- 关键词：软硬件协同设计
- HSM—不完全规定有限状态机状态化简的启发式算法
- 本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆盖为候选集,对修选集进行调整,生成最小或接近最小闭覆盖.实验结果表明...
- 胡恒边计年薛宏熙
- 关键词：有限状态机状态化简
- 文献传递
- 软硬件划分中基于一种新的层次化控制数据流图的粒度变换被引量：5
- 2005年
- 在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。
- 吴强WangYun-feng王云峰边计年薛宏熙
- 关键词：软硬件划分
- 扩展的高层次行为描述内部模型
- 2002年
- 随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中。适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难。文章介绍了一种允许使用C和VHDL独立描述原始模块,通过创建统一内部模型IIR的办法实现对功能元件和算法模块的混合处理。IIR内部模型以XML文件格式作为外部存储,能够方便地被划分、综合、验证等处理程序使用,避免了重复的原始描述文件分析,提高了研发效率。
- 朱明边计年薛宏熙
- 关键词：VLSI超大规模集成电路片上系统可扩展标记语言
- OBDD变量排序的自适应选择算法被引量：8
- 1999年
- 有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序问题分解为３ 个子问题，定义了若干启发信息，给出了上述子问题的启发式解法；然后提出了一个变量排序自适应选择算法，从若干候选变量序中选出“最佳”的变量序．最后给出了ＩＳＣＡＳ８５ 电路的实验结果．
- 贝劲松边计年薛宏熙龙望宁洪先龙
- 关键词：布尔函数OBDD组合电路集成电路
- Windows中图形数据传输技术的实现被引量：1
- 1999年
- COM的全称为ComponentObjectModel即组件对象模型，是Windows环境下以及一些其它操作系统下数据通讯和软件复用的底层标准和协议；OLE是对象嵌入与链接技术。简要介绍COM的内容，并着重介绍了如何在COM基础上用OLE实现剪贴权和拖放技术。
- 曹霆吴彦青王刚边计年薛宏熙
- 关键词：剪贴板WIDNOWS
- 一个判别必要质蕴涵项的E算法被引量：2
- 1990年
- 用精选法求布尔函数的最小化解时,传统的作法是先求出质覆盖Z,然后从Z中挑选必要质蕴涵项。本文提出的E算法在勿需求出质覆盖的情况下,就可以判断出多输出二值布尔函数的一个质蕴涵项是否是必要质蕴涵项,从而节省计算机的存储空间和运算时间。
- 薛宏熙张燕安邓辉
- 关键词：布尔代数计算机
- 基于模块的层次化模型判别被引量：1
- 2003年
- 模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计,往往是由多个相互关联的部分组成,利用此特点,本文提出一种基于模块的层次化建模方法,通过对设计描述进行分析,并结合待验证的性质,达到提高模型判别器性能的目的。实验表明,用这种模型可以实现状态数的有效减少。
- 聂江波边计年薛宏熙吴为民朱明
- 关键词：集成电路有限自动机
