边计年
- 作品数：84 被引量：171H指数：8
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信自然科学总论一般工业技术更多>>
- 基于可满足性问题求解的时序电路性质检验方法
- 本文通过可满足性求解进行时序电路的性质检验。其基本思想是将时序电路展开若干个时序,并将性质转化为这些时序范围内的电路变量的可满足性问题。通过在iscas89标准测试电路上进行的一系列实验,证明了本文方法的有效性。
- 陈闽川吴为民边计年
- 关键词：可满足性时序电路
- 用硬件验证语言实现模拟验证方法学
- 随着芯片规模的增长、功能的复杂,工业界的主流验证方法-模拟验证方法面临着挑战。为了缩短验证环境设计时间、提高验证效率,人们提出了一种新的语言——硬件验证语言 （Hardware Verification Language...
- 赵建洲边计年
- SOC系统中C到VHDL的转换被引量：5
- 2002年
- 近年来,SOC设计方法学的研究越来越引起人们的注意。C语言适合对系统进行高层次的描述。C语言的系统描述经过软硬件划分之后,要求将硬件实现部分转换为适合于综合的VHDL语言。文章通过分析两种语言的区别,提出并实现了适于表达C语言描述内容的VHDL结构形式,并对几种C语言结构提出合理的转换方案。实验表明,文章提出的方案是正确的和有效的。
- 赵建洲朱明边计年薛宏熙
- 关键词：系统芯片C语言VHDL语言超大规模集成电路
- 基于结点匹配策略的赋权超图核值实验比较被引量：1
- 2013年
- 分析赋权超图多水平粗化阶段的节点匹配策略,给出引入节点核值全局信息到超图的节点匹配过程,发挥节点核值导向性作用,改进仅利用边的权值、节点的度等局部信息进行结点选择的匹配策略,将图的核值理论扩展到超图,提出超图核值等相关概念及其形式化描述。基于ISPD98测试基准的18组超图,结合多水平粗化阶段的不同节点匹配策略,以节点的度和核值的最大值、累加和、分布密度为评估指标进行对比实验。结果表明,与传统节点匹配算法相比,该核值更能反映粗化节点在每组水平层粗化超图中的重要程度。
- 冷明孙凌宇朱平边计年马昱春张亮
- C语言系统描述的HCDFG-Ⅱ实现
- C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证以及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图．本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型,以及从C语言生成...
- 赵康边计年吴强薛宏熙
- 关键词：软硬件协同设计
- 超图划分问题的元胞自动机模型及算法研究被引量：2
- 2012年
- 对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二维辅助数组存储每条超边在划分子集中的结点个数,给出快速的元胞收益值和划分割切值的计算方法,从而避免遍历超边中的结点。实验结果表明,与赋权图划分算法和迁移方法相比,该算法可以取得更优的划分,且时间复杂度和空间复杂度较低。
- 冷明孙凌宇边计年马昱春朱平
- 关键词：元胞自动机时间复杂度空间复杂度
- HSM—不完全规定有限状态机状态化简的启发式算法
- 本文提出不完全规定有限状态机状态化简的启发式算法HSM(heuristic state minimizer).它从最大相容集出发生成闭覆盖;再以这个闭覆盖为候选集,对修选集进行调整,生成最小或接近最小闭覆盖.实验结果表明...
- 胡恒边计年薛宏熙
- 关键词：有限状态机状态化简
- 文献传递
- 基于整数规划的层次式FPGA布线算法被引量：4
- 2010年
- 为了避免由于布线线序处理不当而导致无法布通的问题,提出一种基于整数规划的层次式FPGA布线算法.该算法使用一种全局优化处理的方式对布线问题进行求解,通过分析层次式FPGA的结构特点和整数规划的算法特点,导出了FPGA布线算法问题与整数规划之间的关系;然后具体描述了如何将FPGA布线问题转化成二进制整数规划问题及其相应的求解过程,其中利用层次式FPGA的结构特点对得到的整数规划问题进行简化.与可满足性布线算法进行实验比较的结果表明,文中算法具有求解速度更快、求解规模更大以及求解质量更高等方面的优势.
- 朱利民边计年周强蔡懿慈
- 关键词：层次式FPGA布线算法整数规划
- SoC系统级设计方法与技术被引量：14
- 2006年
- 介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类·在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点·
- 王海力边计年吴强熊志辉
- 关键词：电子设计自动化系统芯片知识产权核
- 软硬件划分中基于一种新的层次化控制数据流图的粒度变换被引量：5
- 2005年
- 在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。
- 吴强WangYun-feng王云峰边计年薛宏熙
- 关键词：软硬件划分
