课题基金 / 基金详情

Automated Formal Verification at the Hardware/Software Boundary

Automated Formal Verification at the Hardware/Software Boundary
硬件/软件边界的自动形式验证
批准号：
RGPIN-2015-04618
负责人：
Hu, Alan
金额：
$3.13万
依托单位：
University of British Columbia
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634406
关键词：
AutomatedFormalVerificationHardwareSoftware

项目摘要

项目成果

Hu, Alan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Computer chips, computer systems, and computer software are the most complex things ever designed by humans. For example, even the simple programs written by our students in their first computer science course have far more possible behaviors than there are photons in the universe! Not surprisingly, it's hard to get all the details right. In fact, companies now spend the most effort not on design, but on verification -- the task of determining if the system behaves correctly.
期刊论文(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
海外基金