课题基金 / 基金详情

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 针对特定应用可编程处理器设计环境的合作研究
批准号:
9901628
负责人:
Srini Devadas
金额:
$18.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-08-01 至 2003-07-31

项目摘要

项目成果

Srini Devadas的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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)
会议论文
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
海外基金