首页>外文会议>其他>IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Verifying Quantitative Properties Using Bound Functions

机译：使用绑定函数验证定量属性
- 作者：Arindam Chakrabarti;Krishnendu Chatterjee;Thomas A. Henzinger;Orna Kupferman;Rupak Majumdar;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
2.Finding and Fixing Faults

机译：发现和修复故障
- 作者：Stefan Staber;Barbara Jobstmann;Roderick Bloem;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
3.Towards the Pervasive Verification of Automotive Systems

机译：迈向汽车系统的普遍验证
- 作者：Thomas In der Rieden;Dirk Leinenbach;Wolfgang Paul
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
4.Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths

机译：基于虚拟控制器和数据路径的数据传输分析的行为-TTL等效检查
- 作者：Masahiro Fujita;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
5.Resolving Quartz Overloading

机译：解决Quartz超载
- 作者：Oliver Pell;Wayne Luk;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
6.Real-Time Model Checking Is Really Simple

机译：实时模型检查真的很简单
- 作者：Leslie Lamport;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
7.Verification Challenges in Configurable Processor Design with ASIP Meister

机译：用ASIP MEISTER验证可配置处理器设计中的挑战
- 作者：Masaharu Imai;Akira Kitajima
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
8.Temporal Modalities for Concisely Capturing Timing Diagrams

机译：用于简明捕获时序图的时间方式
- 作者：Hana Chockler;Kathi Fisler;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
9.Interleaved Invariant Checking with Dynamic Abstraction

机译：交错不变检查与动态抽象
- 作者：Liang Zhang;Mukul R. Prasad;Michael S. Hsiao;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
10.A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems

机译：硬水管线机验证问题的参数化基准套件
- 作者：Panagiotis Manolios;Sudarshan K. Srinivasan;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
11.Is Formal Verification Bound to Remain a Junior Partner of Simulation?

机译：正式验证是否仍然是模拟的初级伙伴？
- 作者：Wolfram Büttner
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
12.Symbolic Partial Order Reduction for Rule Based Transition Systems

机译：基于规则的过渡系统的符号部分顺序减少
- 作者：Ritwik Bhattacharya;Steven German;Ganesh Gopalakrishnan;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
13.Formal Verification of Synchronizers

机译：正式验证Synchronizers
- 作者：Tsachy Kapschitz;Ran Ginosar;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
14.Wired: Wire-Aware Circuit Design

机译：有线：Wire感知电路设计
- 作者：Emil Axelsson;Koen Claessen;Mary Sheeran;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
15.Exploiting Constraints in Transformation-Based Verification

机译：利用基于转换的验证的限制
- 作者：Hari Mony;Jason Baumgartner;Adnan Aziz;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
16.Introducing Abstractions via Rewriting

机译：通过重写引入抽象
- 作者：William D. Young;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
17.A New SAT-Based Algorithm for Symbolic Trajectory Evaluation

机译：一种新的符号轨迹评估算法
- 作者：Jan-Willem Roorda;Koen Claessen;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
18.On the Verification of Memory Management Mechanisms

机译：关于内存管理机制的验证
- 作者：Iakov Dalinger;Mark Hillebrand;Wolfgang Paul;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
19.FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers

机译：基于FPGA的Actelerator在SAT求解器中进行3次静态冲突分析
- 作者：Mona Safar;M. Watheq El-Kharashi;Ashraf Salem;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
20.Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic

机译：证明参数化系统：在多面体逻辑中使用伪管道
- 作者：Katell Morin-Allory;David Cachera;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
21.Deadlock Prevention in the AETHEREAL Protocol

机译：空观议定书中的死锁预防
- 作者：Biniam Gebremichael;Frits Vaandrager;Miaomiao Zhang;Kees Goossens;Edwin Rijpkema;Andrei Radulescu;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
22.An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment

机译：工业环境中基于SAT的模型检查技术分析
- 作者：Nina Amla;Xiaoqun Du;Andreas Kuehlmann;Robert P. Kurshan;Kenneth L. McMillan;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
23.Acceleration of SAT-Based Iterative Property Checking

机译：基于SAT的迭代属性检查加速
- 作者：Daniel Grosse;Rolf Drechsler;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
24.How Thorough Is Thorough Enough?

机译：足够彻底彻底吗？
- 作者：Arie Gurfinkel;Marsha Chechik;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
25.Predictive Reachability Using a Sample-Based Approach

机译：使用基于样品的方法预测可达性
- 作者：Debashis Sahoo;Jawahar Jain;Subramanian K. Iyer;David Dill;E. Allen Emerson;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
26.Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation

机译：通过异步计算实现分布式符号可达性分析的加速
- 作者：Orna Grumberg;Tamir Heyman;Nili Ifergan;Assaf Schuster;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
27.Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies

机译：通过协同回报率和定位策略，通过协同回报和定位策略的最大输入减少顺序网手册
- 作者：Jason Baumgartner;Hari Mony;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
28.Automatic Formal Verification of Liveness for Pipelined Processors with Multicycle Functional Units

机译：自动正式验证有多网功能单位流水线处理器的活力
- 作者：Miroslav N. Velev;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
29.Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

机译：ConsterExample指导不变发现参数化缓存同时验证
- 作者：Sudhindra Pandav;Konrad Slind;Ganesh Gopalakrishnan;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
30.Identification and Counter Abstraction for Full Virtual Symmetry

机译：全虚拟对称的识别和计数抽象
- 作者：Ou Wei;Arie Gurfinkel;Marsha Chechik;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
31.Formalization of the DE2 Language

机译：DE2语言的形式化
- 作者：Warren A. Hunt Jr.;Erik Reeber;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
32.Verifying Timing Behavior by Abstract Interpretation of Executable Code

机译：通过抽象解释可执行代码来验证时序行为
- 作者：Christian Ferdinand;Reinhold Heckmann;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
33.Minimizing Counterexample of ACTL Property

机译：最小化Actl属性的反例
- 作者：ShengYu Shen;Ying Qin;SiKun Li;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
34.Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning

机译：基于饱和的象征性可达性分析使用联合和分离分区
- 作者：Gianfranco Ciardo;Andy Jinqing Yu;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
35.Regular Vacuity

机译：常规阳性
- 作者：Doron Bustan;Alon Flaisher;Orna Grumberg;Orna Kupferman;Moshe Y. Vardi;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
36.Error Detection Using BMC in a Parallel Environment

机译：在并行环境中使用BMC出现错误检测
- 作者：Subramanian K. Iyer;Jawahar Jain;Mukul R. Prasad;Debashis Sahoo;Thomas Sidle;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
37.Automatic Generation of Hints for Symbolic Traversal

机译：自动生成符号遍历的提示
- 作者：David Ward;Fabio Somenzi;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
38.High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

机译：基于FPGA的硬件设计的高级建模，分析和验证
- 作者：Petr Matousek;Ales Smrcka;Tomas Vojnar;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
39.Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting

机译：通过动态调度高效符号仿真，不关心和案例分裂
- 作者：Viresh Paruthi;Christian Jacobi;Kai Weber;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
40.Improvements to the Implementation of Interpolant-Based Model Checking

机译：基于Interpolant的模型检查的实现改进
- 作者：Joao Marques-Silva;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
41.Data Refinement for Synchronous System Specification and Construction

机译：同步系统规范和构造的数据细化
- 作者：Alex Tsow;Steven D. Johnson;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年
42.A Case Study: Formal Verification of Processor Critical Properties

机译：一个案例研究：处理器关键属性的正式验证
- 作者：Emmanuel Zarpas;International Federation for Information Processing(IFIP)
- 会议名称：《IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods》 | 2005年