美国国家科学基金(5978EastAsia)

作品数：25被引量：30H指数：3
导出分析报告
相关作者：林争辉吕宗伟张镭卢君明王彬更多>>
相关机构：上海交通大学更多>>
相关期刊：《上海交通大学学报》《电子学报》《微电子学》《计算机辅助设计与图形学学报》更多>>
相关主题：逻辑综合OBDD组合逻辑电路组合逻辑工艺映射更多>>
相关领域：电子电信自动化与计算机技术理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于事务形式验证(TBFV)及8051的TBFV模型被引量：2
《上海交通大学学报》2003年第10期1574-1577,共4页王彬 林争辉 
美国国家科学基金(5978EastAsiaandPacificProgram-9602485);国家教育部博士点基金资助项目
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要...
关键词：基于事务的形式验证 功能验证模型 状态爆炸 
事务级形式验证技术及8051验证模型
《计算机辅助设计与图形学学报》2003年第8期921-924,共4页王彬 任艳颖 林争辉 
美国国家科学基金(5 978EastAsiaandPacificProgram-960 2485);教育部博士点基金资助
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
关键词：事务级形式验证 8051验证模型 流水线处理器 功能验证模型 微处理器 8051指令集 
实现工艺映射的新方法
《微电子学》2003年第1期9-11,共3页张镭 林争辉 吕宗伟 
美国国家科学基金资助项目(5978EastAsiaandPacificProgram-9602485);国家"九五"微电子重点科技攻关项目(96-738-01-09-02)
　逻辑综合中,工艺映射是关键的一步。过去,基于树的映射由于其速度快、算法简洁而被广泛使用。但是,将电路结构划分为树,破坏了电路结构,缩小了映射的解空间。双态覆盖(BinateCovering)能充分利用门级网表的结构特性,使工艺映射后的电...
关键词：工艺映射 双态覆盖 逻辑综合 树 电路结构 
协同形式验证环境Co-Formal的建立与应用
《上海交通大学学报》2003年第z1期143-146,151,共5页王彬 林争辉 
美国国家科学基金(5978EastAsiaandPacificProgram-9602485);教育部博士点基金资助项目
形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的...
关键词：协同形式验证环境 模型检查 片上系统 
递归学习寻找对称变量被引量：1
《上海交通大学学报》2002年第12期1709-1712,共4页张镭 林争辉 吕宗伟 
美国国家科学基金资助项目 (5 978East Asia andPacific Program-960 2 485 )
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立 fxixj和 fxjxi的 BDD( Binary Decision Diagram)二分决策图 ,然后通过检查两 BDD图是否同构来验证 ...
关键词：逻辑集成电路 对称变量 递归学习算法 测试生成 逻辑函数 二分决策图 
一种新型的晶体管级改进Booth编码单元电路被引量：1
《微电子学》2002年第3期212-214,218,共4页卢君明 林争辉 
美国国家科学基金 (NSF)资助项目 (5 978East Asia and Pacific Program- 96 0 2 4 85 )
文章提出了一种新的高速低功耗晶体管级改进 Booth编码单元电路。该电路组合了CMOS逻辑电路和传递管逻辑电路 ,采用高速低功耗 XOR和 XNOR电路 ,仅用了 30个晶体管就实现了改进 Booth编码。在 0 .35 μm的工艺条件下 ,HSPICE的仿真结果...
关键词：晶体管 单元电路 BOOTH编码 逻辑电路 
基于算术方法的高层次匹配算法
《微电子学》2002年第2期102-104,共3页周海峰 林争辉 
美国国家科学基金资助项目 (5 978East Asia and Pacific Program- 96 0 2 4 85 )
在数字集成电路设计过程中 ,为了实现已有组件的复用 ,文章提出了一种基于多项式表示法的组件匹配算法。通过要求实现功能的多项式表示式与已有组件库的多项式表示式两者的对比 。
关键词：数字集成电路 多项式表示 组件匹配 OBDD 功能块 高层次匹配算法 
CMOS电路平均功耗最小平方估计技术被引量：1
《上海交通大学学报》2002年第3期315-318,共4页卢君明 林争辉 
美国国家科学基金资助项目 ( 5 978East Asia andPacific Program -96 0 2 485 )
功耗估计是数字 VLSI设计中需要重点考虑的因数 .由于芯片管腿数的增加 ,通过穷举仿真获得电路平均功耗的方法也越来越不现实 .文中将最小平方估计方法应用于 COMS VLSI的平均功耗估计 .该方法与电路功耗的概率分布无关 ,而且是无偏估...
关键词：CMOS电路 平均功耗 最小平方估计 Monte-Carlo ULSI 
加速布尔匹配算法的研究
《上海交通大学学报》2002年第3期319-322,共4页张镭 林争辉 吕宗伟 
美国国家科学基金资助项目 ( 5 978East Asia andPacific Program -96 0 2 485 )
逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量...
关键词：布尔匹配算法 大规模集成电路 变量标签 最小项 有序二叉判定树 
深亚微米集成电路中的连线分割和缓冲器插入被引量：1
《上海交通大学学报》2002年第3期323-327,共5页白宁 林争辉 
美国国家科学基金资助项目 ( 5 978East Asia andPacific Program -96 0 2 485 )
为在一定的时间限制下得到最少的缓冲器插入数目和连线分段数目 ,提出了一种深亚微米电路设计方法 .该方法通过将传统的可变尺寸驱动连线模型改为缓冲器连线分段模型 ,得到了最优的缓冲器插入数目和连线分段数目 .实验结果表明 ,在不同...
关键词：深亚微米集成电路 连线分割 缓冲器插入 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部