首页>外文会议>Formal Methods in Computer Aided Design, 2006. FMCAD '06

Formal Methods in Computer Aided Design, 2006. FMCAD '06

召开年：
召开地：San Jose, CA
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Symmetry Reduction for STE Model Checking

机译：STE模型检查的对称性降低
- 作者：Ashish Darbari
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
2.From PSL to NBA: a Modular Symbolic Encoding

机译：从PSL到NBA：模块化符号编码
- 作者：Alessandro Cimatti;Marco Roveri;Simone Semprini;Stefano Tonetta
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
3.Thorough Checking Revisited

机译：再次进行彻底检查
- 作者：Shiva Nejati;Mihaela Gheorghiu;Marsha Chechik
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
4.Assume-Guarantee Reasoning for Deadlock

机译：假设-保证推理的死锁
- 作者：Sagar Chaki;Nishant Sinha
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
5.Synchronous Elastic Networks

机译：同步弹性网络
- 作者：Sava Krstic;Jordi Cortadella;Mike Kishinevsky;John OLeary
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
6.Ario: A Linear Integer Arithmetic Logic Solver

机译：Ario：线性整数算术逻辑求解器
- 作者：Hossein M. Sheini;Karem A. Sakallah
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
7.A Formal Model of Lower System Layers

机译：下层系统层的正式模型
- 作者：Julien Schmaltz
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
8.Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

机译：使用假设/保证降低多核一致性协议的验证复杂性
- 作者：Xiaofang Chen;Yu Yang;Ganesh Gopalakrishnan;Ching-Tsun Chou
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
9.A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification

机译：硬件验证中量化一阶公式有效性检查的一种改进方法
- 作者：Husam Abu-Haimed;David L. Dill;Sergey Berezin
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
10.Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

机译：自动生成计划表以提高片上系统的测试覆盖率
- 作者：C. Helmstetter;F. Maraninchi;L. Maillet-Contoz;M. Moy
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
11.ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool

机译：ACL2SIX：用于集成定理证明者和自动验证工具的提示
- 作者：Jun Sawada;Erik Reeber
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
12.Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis

机译：通过视觉分析了解现代DPLL SAT解算器的动态行为
- 作者：Cameron Brien;Sharad Malik
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
13.Model Checking Data-Dependent Real-Time Properties of the European Train Control System

机译：欧洲列车控制系统的模型检查与数据相关的实时属性
- 作者：Johannes Faber;Roland Meyer
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
14.Design for Verification of the PCI-X Bus

机译：验证PCI-X总线的设计
- 作者：Haja Moinudeen;Ali Habibi;Sofiene Tahar
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
15.Formal Analysis and Verification of an OFDM Modem Design using HOL

机译：使用HOL的OFDM调制解调器设计的形式分析和验证
- 作者：Abu Nasser M. Abdullah;Behzad Akbarpour;Sofiene Tahar
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
16.Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands

机译：具有有限字长操作数的算术数据路径的等效性验证的模拟边界
- 作者：Namrata Shekhar;Priyank Kalla;M. Brandon Meredith;Florian Enescu
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
17.Over-Approximating Boolean Programs with Unbounded Thread Creation

机译：具有无限线程创建的过度逼近布尔程序
- 作者：Byron Cook;Daniel Kroening;Natasha Sharygina
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
18.Finite Instantiations for Integer Difference Logic

机译：整数差分逻辑的有限实例化
- 作者：Hyondeuk Kim;Fabio Somenzi
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
19.Tracking MUSes and Strict Inconsistent Covers

机译：跟踪MUS和严格不一致的封面
- 作者：Eric Gregoire;Bertrand Mazure;Cedric Piette
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
20.An Improved Distance Heuristic Function for Directed Software Model Checking

机译：改进的距离启发式函数用于定向软件模型检查
- 作者：Neha Rungta;Eric G Mercer
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
21.Liveness and Boundedness of Synchronous Data Flow Graphs

机译：同步数据流图的活动性和有界性
- 作者：A.H. Ghamarian;M.C.W. Geilen;T. Basten;B.D. Theelen;M.R. Mousavi;S. Stuijk
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
22.Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning

机译：通过多算法形式推理实现大规模的普适逻辑验证
- 作者：Tilman Glokler;Jason Baumgartner;Devi Shanmugam;Rick Seigler;Gary Van Huben;Barinjato Ramanandray;Hari Mony;Paul Roessler
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
23.Post-reboot Equivalence and Compositional Verification of Hardware

机译：重启后等效性和硬件组成验证
- 作者：Zurab Khasidashvili;Marcelo Skaba;Daher Kaiss;Ziyad Hanna
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
24.Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

机译：基于AIG，BDD扫描和量化器调度的高级无边界模型检查
- 作者：Florian Pigorsch;Christoph Scholl;Stefan Disch
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
25.Optimizations for LTL Synthesis

机译：LTL综合的优化
- 作者：Barbara Jobstmann;Roderick Bloem
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》
26.An Integration of HOL and ACL2

机译：HOL和ACL2的集成
- 作者：Michael J.C. Gordon;James Reynolds;Warren A. Hunt;Matt Kaufmann
- 会议名称：《Formal Methods in Computer Aided Design, 2006. FMCAD '06》