首页> 外文OA文献 >Scalable Conditional Equivalence Checking: An Automated Invariant-Generation Based Approach

【2h】

Scalable Conditional Equivalence Checking: An Automated Invariant-Generation Based Approach

机译：可伸缩条件对等检查：一种基于自动不变代的方法

页面导航

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

著录项

作者
Jason Baumgartner; Hari Mony; Jun Sawada; Karen Yorav;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Odyssey Approach To Early Simulation-based Equivalence Checking At Esl Level Using Automatically Generated Executable Transaction-level Model [J] . Maziar Goudarzi, Shaahin Hessabi, Naser MohammadZadeh, Microprocessors and microsystems . 2008,第7期

机译：使用自动生成的可执行事务级别模型在Esl级别进行基于Odyssey的早期模拟等效检查的方法
2. An approach to checking case-crossover analyses based on equivalence with time-series methods. [J] . Lu Y, Symons JM, Geyh AS, Epidemiology . 2008,第2期

机译：一种基于时间序列方法的等价检查案例交叉分析的方法。
3. An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs [J] . Wille Robert, Keszocze Oliver, Othmer Lars, Journal of Low Power Electronics . 2017,第4期

机译：用于可逆硬件描述语言设计的自动化方法和检查控制逻辑
4. Scalable conditional equivalence checking: An automated invariant-generation based approach [C] . Baumgartner J., Mony H., Case M., Formal Methods in Computer-Aided Design, 2009. FMCAD 2009 . 2009

机译：可扩展的条件等效检查：一种基于自动不变式的方法
5. Efficient equivalence checking in a modular design environment. [D] . Hasteer, Gagan. 1998

机译：模块化设计环境中的有效等效检查。
6. Highly automated nano-LC/MS-based approach for thousand cell-scale quantification of side chain-hydroxylated oxysterols [O] . Hanne Roberg-Larsen, Kaja Lund, Tore Vehus, 2014

机译：高度自动化的基于纳米LC / MS的方法可对侧链羟基化的甾醇进行千细胞规模的定量
7. Automating Periodic Role-Checks: A Tool-based Approach [O] . Fuchs Ludwig, Müller Christian 2009

机译：自动化定期角色检查：一种基于工具的方法

Scalable Conditional Equivalence Checking: An Automated Invariant-Generation Based Approach

著录项

引文网络

相似文献

相关主题

期刊订阅