美国国家科学基金(5978EastAsia)
- 作品数：25 被引量：51H指数：3
- 相关作者：林争辉吕宗伟张镭卢君明王彬更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：美国国家科学基金国家教育部博士点基金更多>>
- 相关领域：电子电信自动化与计算机技术理学更多>>
- 组合逻辑电路时序安全可替换性
- 2001年
- 讨论了组合逻辑电路的时序安全可替换性问题 ,即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低 .提出了一种新的判断时序安全可替换性的方法 .该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时序安全可替换性 ,避免了直接计算电路的精确延迟特征 ,从而提高了算法的效率 。
- 吕宗伟林争辉张镭
- 关键词：组合逻辑电路逻辑综合
- 递归学习寻找对称变量被引量：1
- 2002年
- 逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立 fxixj和 fxjxi的 BDD( Binary Decision Diagram)二分决策图 ,然后通过检查两 BDD图是否同构来验证 fxixj=fxjxi.但将电路转化为 BDD图本身就需要一定的时间 ,而且对于大的电路 ,存在 BDD图不能建立的可能性 ,致使同构验证无法进行 .本文利用递归学习 ,无需建立 BDD图直接在电路拓扑图上验证 fxixj=fxjxi.递归学习算法执行效率高 ,可以大大缩减对称变量检测的过程 .试验结果表明 ,利用递归学习算法检测对称变量执行时间减少 ,并且能将大的电路作为检测对象 .
- 张镭林争辉吕宗伟
- 关键词：逻辑集成电路逻辑函数
- 事务级形式验证技术及8051验证模型被引量：2
- 2003年
- 提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
- 王彬任艳颖林争辉
- 关键词：微处理器
- 一种用于高速逻辑电路综合优化的新算法
- 2001年
- 提出了一种改进时序重排算法 ,使时序重排可以更有效地与其他组合优化算法结合起来 ,共同提高同步时序电路的速度 .在各种不同的测试电路上得到的实验结果显示 ,这种算法在与其他组合优化方法的结合上 ,较以往的时序重排算法有很大的改进 .
- 申旦林争辉
- 关键词：电路综合电子设计自动化大规模集成电路
- OBDD在组合逻辑电路测试中的应用研究被引量：1
- 2000年
- 由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算法的效率。而 OBDD是一种表示和操纵布尔函数的有效方法 ,用 OBDD来表示电路中每个节点所代表的逻辑函数 ,可以把反向回溯过程转换为 OBDD的 satisfiability问题 ,从而避免了反向回溯过程 ,加快了故障测试的速度。同时 ,OBDD在测试矢量集的生成以及 necessary assignment的确定中也显示出一定的优越性。
- 吕宗伟张镭林争辉
- 关键词：组合逻辑电路OBDD电路测试
- OBDD在组合逻辑电路测试中的应用研究被引量：10
- 2001年
- 传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用 OBDD来表示电路中每个节点所代表的逻辑函数 ,把传统算法中的反向回溯过程转换为 OBDD图的问题 ,从而加快了故障测试的速度 .同时 。
- 吕宗伟林争辉张镭
- 关键词：组合逻辑电路故障检测OBDD逻辑函数
- 基于动态标记的FPGA延迟优化算法
- 2001年
- DAG- MAP是一个面向延迟优化的 FPGA工艺映射算法 ,其中的标记过程是该算法的核心 .文中对原算法中的标记过程进行了研究 ,提出了一个改进的标记方法 .对 MCNC标准测试电路所做实验的结果表明 ,该算法比原算法更为有效 。
- 吕宗伟林争辉张镭
- 关键词：逻辑综合FPGA工艺映射VLSI
- 基于事务形式验证(TBFV)及8051的TBFV模型被引量：3
- 2003年
- 提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.
- 王彬林争辉
- 一种新的计算最大允许函数集的方法
- 2000年
- 变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许函数集。实验结果表明，该方法在计算时间上明显优于原来的计算方法。
- 吕宗伟张镭林争辉
- 关键词：逻辑优化
- 基于算术方法的高层次匹配算法
- 2002年
- 在数字集成电路设计过程中 ,为了实现已有组件的复用 ,文章提出了一种基于多项式表示法的组件匹配算法。通过要求实现功能的多项式表示式与已有组件库的多项式表示式两者的对比 。
- 周海峰林争辉
- 关键词：数字集成电路多项式表示OBDD功能块
