课题基金 / 基金详情

Extending the success of formal hardware verification to system software

Extending the success of formal hardware verification to system software
将正式硬件验证的成功扩展到系统软件
批准号：
194192-2010
负责人：
Hu, Alan
金额：
$2.48万
依托单位：
University of British Columbia
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=523136
关键词：
Extendingsuccessformalhardwareverification

项目摘要

项目成果

Hu, Alan的其他基金

相似基金

相关文献

中文摘要
翻译
到目前为止，计算机芯片、计算机系统和计算机软件是人类设计的最复杂的东西。例如，即使是我们的学生在他们的第一门计算机科学课程中编写的非常简单的程序，其可能的行为也远远多于整个宇宙中的光子！不足为奇的是，很难把所有细节都弄对。事实上，最大的努力不是花在设计上，而是花在确认和验证上--确定系统是否按预期运行的任务。
英文摘要
Computer chips, computer systems, and computer software are by far the most complex things ever designed by humans. For example, even the very simple programs written by our students in their first computer science course have far more possible behaviors than there are photons in the entire universe! Not surprisingly, it's hard to get all the details right. In fact, the most effort is spent not on design, but on validation and verification -- the task of determining if the system behaves as intended.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2022
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2021
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification for Domain-Specific Hardware Acceleration
  • 批准号：
    RGPIN-2020-07182
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.11万
  • 财政年份：
    2020
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
Automated Formal Verification at the Hardware/Software Boundary
  • 批准号：
    RGPIN-2015-04618
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.13万
  • 财政年份：
    2019
  • 负责人：
    Hu, Alan
  • 依托单位：
    University of British Columbia
海外基金