美国国家科学基金(PacificProgram-9602485)
- 作品数：23 被引量：49H指数：3
- 相关作者：林争辉吕宗伟张镭卢君明王彬更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：美国国家科学基金国家教育部博士点基金更多>>
- 相关领域：电子电信自动化与计算机技术理学更多>>
- 基于动态标记的FPGA延迟优化算法
- 2001年
- DAG- MAP是一个面向延迟优化的 FPGA工艺映射算法 ,其中的标记过程是该算法的核心 .文中对原算法中的标记过程进行了研究 ,提出了一个改进的标记方法 .对 MCNC标准测试电路所做实验的结果表明 ,该算法比原算法更为有效 。
- 吕宗伟林争辉张镭
- 关键词：逻辑综合FPGA工艺映射VLSI
- 基于事务形式验证(TBFV)及8051的TBFV模型被引量：3
- 2003年
- 提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.
- 王彬林争辉
- 递归学习寻找对称变量被引量：1
- 2002年
- 逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立 fxixj和 fxjxi的 BDD( Binary Decision Diagram)二分决策图 ,然后通过检查两 BDD图是否同构来验证 fxixj=fxjxi.但将电路转化为 BDD图本身就需要一定的时间 ,而且对于大的电路 ,存在 BDD图不能建立的可能性 ,致使同构验证无法进行 .本文利用递归学习 ,无需建立 BDD图直接在电路拓扑图上验证 fxixj=fxjxi.递归学习算法执行效率高 ,可以大大缩减对称变量检测的过程 .试验结果表明 ,利用递归学习算法检测对称变量执行时间减少 ,并且能将大的电路作为检测对象 .
- 张镭林争辉吕宗伟
- 关键词：逻辑集成电路逻辑函数
- CMOS电路平均功耗最小平方估计技术被引量：1
- 2002年
- 功耗估计是数字 VLSI设计中需要重点考虑的因数 .由于芯片管腿数的增加 ,通过穷举仿真获得电路平均功耗的方法也越来越不现实 .文中将最小平方估计方法应用于 COMS VLSI的平均功耗估计 .该方法与电路功耗的概率分布无关 ,而且是无偏估计 .在 ISCAS85基准电路上的仿真结果表明 ,新方法与 Monte Carlo方法相比 。
- 卢君明林争辉
- 关键词：CMOS电路平均功耗ULSI
- 加速布尔匹配算法的研究
- 2002年
- 逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量数 .为了提高匹配算法的效率 ,文中用最小项数目作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的标签 ,可删除不可能的排序 ,加快匹配过程 .在此基础之上 ,利用重构将待匹配变量压缩在 OBDD图的底部 .利用这部分结构可以进一步区分变量 .实验结果表明 ,该算法不仅变量区分能力要好于其他算法 ,且执行速度快 。
- 张镭林争辉吕宗伟
- 关键词：大规模集成电路
- 深亚微米集成电路中的连线分割和缓冲器插入被引量：1
- 2002年
- 为在一定的时间限制下得到最少的缓冲器插入数目和连线分段数目 ,提出了一种深亚微米电路设计方法 .该方法通过将传统的可变尺寸驱动连线模型改为缓冲器连线分段模型 ,得到了最优的缓冲器插入数目和连线分段数目 .实验结果表明 ,在不同的时间限制下 。
- 白宁林争辉
- 关键词：深亚微米集成电路缓冲器插入
- 基于二分图完美匹配的布尔匹配算法被引量：4
- 2001年
- 提出了一种改进的基于二分图完美匹配的布尔匹配算法 .该算法通过把布尔变量之间的匹配问题转换为二分图的完美匹配问题 ,避免了原算法中因乘积项过多而导致计算时间过长的缺点 .对 MCNC标准测试电路的实验结果表明 :与原算法相比 ,改进后的算法可以减少 2 1%左右的计算时间 .同时 ,文中提出了布尔变量强匹配的概念 ,它是对传统布尔匹配概念的引申 .
- 吕宗伟林争辉张镭
- 关键词：逻辑综合工艺映射图论二分图电路设计
- 事务级形式验证技术及8051验证模型被引量：2
- 2003年
- 提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
- 王彬任艳颖林争辉
- 关键词：微处理器
- 一种新的计算最大允许函数集的方法
- 2000年
- 变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许函数集。实验结果表明，该方法在计算时间上明显优于原来的计算方法。
- 吕宗伟张镭林争辉
- 关键词：逻辑优化
- 基于算术方法的高层次匹配算法
- 2002年
- 在数字集成电路设计过程中 ,为了实现已有组件的复用 ,文章提出了一种基于多项式表示法的组件匹配算法。通过要求实现功能的多项式表示式与已有组件库的多项式表示式两者的对比 。
- 周海峰林争辉
- 关键词：数字集成电路多项式表示OBDD功能块
