NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
批准号:
9901628
负责人:
Srini Devadas
金额:
$18.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-08-01 至 2003-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
批准号:2115587
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
-
批准号:1955270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
-
批准号:1813087
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
-
批准号:1822920
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
STARSS: Small: Trapdoor Computational Fuzzy Extractors
-
批准号:1523572
-
项目类别:Standard Grant
-
资助金额:$26.67万
-
财政年份:2015
-
负责人:Srini Devadas
-
依托单位:
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
-
批准号:1413920
-
项目类别:Continuing Grant
-
资助金额:$320.0万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
XPS: FULL: DSD: Collaborative Research: Moving the Abyss: Database Management on Future 1000-core Processors
-
批准号:1438967
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
TWC: Small: Ascend: Architecture for Secure Computation on Encrypted Data
-
批准号:1317763
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
-
批准号:1347279
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
SHF: Small: Directoryless Shared Memory Using Execution Migration
-
批准号:1116372
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Srini Devadas
-
依托单位:
SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System
-
批准号:0904598
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Srini Devadas
-
依托单位:
CT-ISG: Applications and Evolution of Trusted Platform Module Technology
-
批准号:0715680
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Srini Devadas
-
依托单位:
Physical Random Functions and Secure Hardware Architectures
-
批准号:0309562
-
项目类别:Continuing Grant
-
资助金额:$35.0万
-
财政年份:2003
-
负责人:Srini Devadas
-
依托单位:
Security Protocols for Pervasive Computing Applications
-
批准号:0208631
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Srini Devadas
-
依托单位:
An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems
-
批准号:9900757
-
项目类别:Continuing Grant
-
资助金额:$34.5万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
A Computer-Aided Design Methodology for Application-Specific Embedded Processors
-
批准号:9612632
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1996
-
负责人:Srini Devadas
-
依托单位:
NSF Young Investigator Award: Formal Methods for Hardware and Software Verification
-
批准号:9258376
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1992
-
负责人:Srini Devadas
-
依托单位:
海外基金