3、第六届海法验证会议详情

第六届海法验证会议详情

1. 会议概述

第六届海法验证会议（HVC 2010）于2010年10月4日至7日在以色列海法召开。作为一个国际性的论坛，该会议为学术界、工业界以及研发社区提供了一个交流平台，旨在分享各自在硬件、软件和混合系统验证方面的最新研究成果和实践经验。此次会议吸引了来自10个国家的200多名参与者，展示了其广泛的国际影响力。

会议基本信息

• 地点 ：以色列海法
• 日期 ：2010年10月4日至7日
• 参会人数 ：超过200人
• 参与国家 ：10个

2. 论文筛选过程

本次会议共收到30份投稿，经过严格的同行评审，最终有10篇论文被接受。每篇论文至少由三位审稿人进行评审，确保了入选论文的高质量。会议论文涵盖了多个研究领域，包括但不限于硬件与软件验证、静态与动态分析、硅前与硅后方法及其相互迁移等方面。

3. 特别安排与亮点

HVC最佳论文奖

本届会议的最佳论文奖授予了题为《在后硅验证中达到覆盖率闭包》的论文。该研究聚焦于后硅验证领域，探讨了如何通过在硅前加速平台上执行后硅练习器来收集覆盖率信息，并据此生成重要的测试模板，从而提高后硅验证的覆盖率。这种方法不仅有助于处理器的整体高质量验证，特别是在后硅验证和启动阶段，还在IBM的POWER7处理器验证中得到了实际应用。

研究重点

<