课题基金 / 基金详情

Verification and its Applications to Automated Hardware Synthesis

Verification and its Applications to Automated Hardware Synthesis
验证及其在自动化硬件合成中的应用
批准号：
9100516
负责人：
Miriam Leeser
金额：
$8.0万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-01-01 至 1993-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9100516&HistoricalAwards=false
关键词：
VerificationitsApplicationsAutomatedHardware

项目摘要

项目成果

Miriam Leeser的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
JUSTIFICATION
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Collaborative Research: CNS: PRATE: P4 Research enabled by Accelerators in national TestbEds
  • 批准号：
    2130891
  • 项目类别：
    Standard Grant
  • 资助金额：
    $15.0万
  • 财政年份：
    2021
  • 负责人：
    Miriam Leeser
  • 依托单位：
    Northeastern University
ICE-T: RI: Software Hardware Efficient Extensible Protocols (SHEEP)
  • 批准号：
    1836880
  • 项目类别：
    Standard Grant
  • 资助金额：
    $10.0万
  • 财政年份：
    2018
  • 负责人：
    Miriam Leeser
  • 依托单位：
    Northeastern University
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
  • 批准号：
    9696196
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $14.5万
  • 财政年份：
    1996
  • 负责人：
    Miriam Leeser
  • 依托单位：
    Northeastern University
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
  • 批准号：
    9257280
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $21.43万
  • 财政年份：
    1992
  • 负责人：
    Miriam Leeser
  • 依托单位：
    Cornell University
国内基金
海外基金
Accretion variability and its consequences: from protostars to planet-forming disks
  • 批准号：
    12173003
  • 项目类别：
    面上项目
  • 资助金额：
    60万元
  • 批准年份：
    2021
  • 负责人：
    沈雷歌
  • 依托单位：
    北京大学
ITS2“分类阈值”的构建及其在混合中药材高通量鉴定中的应用基础
  • 批准号：
    U2106227
  • 项目类别：
    面上项目
  • 资助金额：
    55万元
  • 批准年份：
    2021
  • 负责人：
    张伟
  • 依托单位：
    山东大学
核糖体ITS2前体rRNA加工的作用机理研究
  • 批准号：
    32171286
  • 项目类别：
    面上项目
  • 资助金额：
    58万元
  • 批准年份：
    2021
  • 负责人：
    刘亮
  • 依托单位：
    厦门大学
毕氏肠微孢子虫遗传演化规律及其优势基因型D的传播动力学分析