课题基金 / 基金详情

System-level formal verification with binary decision diagrams

System-level formal verification with binary decision diagrams
使用二元决策图进行系统级形式验证
批准号：
194192-1997
负责人：
Hu, Alan
金额：
$2.19万
依托单位：
University of British Columbia
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2000
资助国家：
加拿大
项目状态：
已结题
起止时间：
2000-01-01 至 2001-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=174542
关键词：
Systemlevelformalverificationbinary

项目摘要

项目成果

Hu, Alan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
国内基金
海外基金
外周犬尿氨酸通过脑膜免疫致海马BDNF水平降低介导术后认知功能障碍
  • 批准号：
    82371193
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    苏殿三
  • 依托单位：
    上海交通大学
海马神经元胆固醇代谢重编程致染色质组蛋白乙酰化水平降低介导老年小鼠术后认知功能障碍
  • 批准号：
    82371192
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    田婕
  • 依托单位：
    上海交通大学
粒子level set方法的改进与空间自适应波浪模型并行化研究
  • 批准号：
    52171245
  • 项目类别：
    面上项目
  • 资助金额：
    58万元
  • 批准年份：
    2021
  • 负责人：
    黄筱云
  • 依托单位：
    长沙理工大学
多层次纳米叠层块体复合材料的仿生设计、制备及宽温域增韧研究
  • 批准号：
    51973054
  • 项目类别：
    面上项目
  • 资助金额：
    60.0万元
  • 批准年份：
    2019
  • 负责人：
    王建锋
  • 依托单位：
    湖南大学