首页> 外文OA文献 >Optimization Of Sequential Verification By History-Based Dynamic Minimization Of BDDs

【2h】

Optimization Of Sequential Verification By History-Based Dynamic Minimization Of BDDs

机译：基于历史的BDD动态最小化优化顺序验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rolf Drechsler; Wolfgang Günther;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Are BDDs still alive within sequential verification? [J] . Gianpiero Cabodi, Sergio Nocco, Stefano Quer International Journal on Software Tools for Technology Transfer . 2005,第2期

机译：在顺序验证中，BDD是否仍然有效？
2. Minimization of fuel consumption in cyclic and non-cyclic natural gas transmission networks: Assessment of genetic algorithm optimization method as an alternative to non-sequential dynamic programing [J] . Sanaye S., Mahmoudimehr J. Journal of the Taiwan Institute of Chemical Engineers . 2012,第6期

机译：循环和非循环天然气传输网络中的燃油消耗最小化：遗传算法优化方法的评估，以替代非顺序动态规划
3. A Flip-Flop Matching Engine to Verify Sequential Optimizations [J] . Rahim, Solaiman, Rouzeyre, Computing and informatics . 2012,第5a6期

机译：触发器匹配引擎以验证顺序优化
4. Optimization of sequential verification by history-based dynamic minimization of BDDs [C] . Drechsler, R., Gunther, . 2000

机译：通过基于历史记录的BDD动态最小化来优化顺序验证
5. Sequentially Optimized Meshfree Approximation as a New Computational Fluid Dynamics Solver. [D] . Wilkinson, Matthew. 2012

机译：顺序优化的无网格近似作为一种新的计算流体动力学求解器。
6. Optimization Strategies for Bruch’s Membrane Opening Minimum Rim Area Calculation: Sequential versus Simultaneous Minimization [O] . Philip Enders, Werner Adler, Friederike Schaub, -1

机译：Bruch膜开口最小轮辋面积计算的优化策略：顺序最小化与同时最小化
7. History-Based Dynamic Minimization During BDD Construction [O] . Rolf Drechsler, Wolfgang Günther 1999

机译：BDD构建过程中基于历史的动态最小化

Optimization Of Sequential Verification By History-Based Dynamic Minimization Of BDDs

著录项

引文网络

相似文献

相关主题

期刊订阅