课题基金 / 基金详情

NSF-CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors

NSF-CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
NSF-CNPq 针对专用可编程处理器设计环境的合作研究
批准号:
9900881
负责人:
Sharad Malik
金额:
$18.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-08-01 至 2003-07-31

项目摘要

项目成果

Sharad Malik的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This research is on embedded systems design tools for building customapplication-specific instruction processor (ASIP) architectures that are nobigger, or no more complex than necessary. Developing an ASIP, not onlyrequires hardware design, but also requires the use of a set of evaluationtools such as an assembler, compiler and simulator. This investigation usesa processor description to serve as a common starting point for thedevelopment of these tools, as well as for hardware synthesis. The ISDLlanguage, being developed at MIT, for exactly this purpose is being used indeveloping a complete software development environment, as well as hardwaregeneration. The simulator is used to obtain clock cycle estimates onapplication code, and to evaluate the overall architecture performance.Synthesis of processor datapaths enables hardware generation and providesaccurate, cycle-time estimates. To support software compilation, aretargetable assembler, code generator and optimizer will be developed thatreceive as input both a machine description in ISDL, and the program to becompiled onto the described machine. New optimizations to produce code ofthe highest quality in a reasonable amount of time are being evaluated. Thebase of our retargetable compiler is SPAM, an embedded compiler frameworkthat has been developed by researchers at MIT, Princeton and UNICAMP,Brazil. In many cases, application code is not written in high-levelprogramming languages, and it is necessary to deal with assembly or legacycode. Thus automatic methods for optimized binary-to-binary translation arebeing investigated. To do this, the legacy binary/assembly code isdecompiled to intermediate forms used by our compiler infrastructure andthen using the optimizing compiler technology to generate high-qualityassembly for the target architecture.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
XPS: FULL: Hardware Software Abstractions: Addressing Specification and Verification Gaps in Accelerator-Oriented Parallelism
  • 批准号:
    1628926
  • 项目类别:
    Standard Grant
  • 资助金额:
    $87.5万
  • 财政年份:
    2016
  • 负责人:
    Sharad Malik
  • 依托单位:
NSF Young Investigator: Design Automation for Embedded Systems
  • 批准号:
    9457396
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $31.25万
  • 财政年份:
    1994
  • 负责人:
    Sharad Malik
  • 依托单位:
RIA: Accurate and Efficient Timing Verification of Synchronous Digital Circuits Using Functional Timing Analysis
  • 批准号:
    9209805
  • 项目类别:
    Standard Grant
  • 资助金额:
    $10.5万
  • 财政年份:
    1992
  • 负责人:
    Sharad Malik
  • 依托单位:
海外基金