课题基金 / 基金详情

NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software

NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
NSF 青年研究员：浮点算术硬件和软件设计的工具包开发
批准号：
9257280
负责人：
Miriam Leeser
金额：
$21.43万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-09-15 至 1996-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9257280&HistoricalAwards=false
关键词：
NSFYoungInvestigatorToolkitDevelopment

项目摘要

项目成果

Miriam Leeser的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The goal of this research is the development of a toolkit based on formal methods for aiding designers in developing floating point arithmetic hardware and software. A novel feature of this research is the introduction of theorem proving techniques directly into the design process. The toolkit includes a formalized version of the IEEE floating point specification and theorems that reason about that specification.
期刊论文(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
Verification and its Applications to Automated Hardware Synthesis
  • 批准号：
    9100516
  • 项目类别：
    Standard Grant
  • 资助金额：
    $8.0万
  • 财政年份：
    1992
  • 负责人：
    Miriam Leeser
  • 依托单位：
    Cornell University
海外基金