CSR: SMALL: Formal Models, Processor Architecture, and Evaluation of Sampling for Hardware Reliability
CSR:SMALL:形式模型、处理器架构和硬件可靠性采样评估
基本信息
- 批准号:1117782
- 负责人:
- 金额:$ 20万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2011
- 资助国家:美国
- 起止时间:2011-07-01 至 2014-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Device physics, manufacturing, and engineering challenges in process scaling are providing signi?cant challenges in producing reliable transistors for future technologies. Many academic experts, industry consortia, and research panels have warned that future generations of silicon technology are likely to be much less reliable with multi-core chips with cores failing in the ?eld due to faults in silicon are around the corner. Concurrently with the reducing reliability, the individual energy ef?ciency of transistors is not keeping up with increase in transistor density. These two trends portend a perfect storm: as the energy ef?ciency of transistors is slowing down, they are becoming highly unpredictable which will force further inef?ciencies. Addressing hardware reliability is a fundamental problem for microprocessors and hence for sustaining the IT revolution. This project looks at mechanisms for allowing chips and the higher levels of software to continue working even when devices fail. The basic idea the project looks at is how to detect when chips fail.The core idea that this projrct builds upon is the principle of Sampling. Instead of checking for failures all the time, the idea is to use a periodic sampling window for checking for device failures. The project investigates formal models, hardware implementation, and evaluation to understand the effect of device failures and the impact of the detection techniques.
设备物理,制造和工艺缩放工程的挑战提供了重要的?在为未来技术生产可靠的晶体管方面,我们面临着巨大的挑战。许多学术专家、行业联盟和研究小组警告说,未来几代硅技术的可靠性可能会大大降低,因为多核芯片的核心会在?由于硅缺陷而导致的火灾即将发生。同时与可靠性降低,个别能源效益?晶体管的效率没有跟上晶体管密度的增加。这两个趋势预示着一个完美的风暴:作为能源ef?晶体管的速度正在放缓,它们变得非常不可预测,这将迫使进一步的inef?科学解决硬件可靠性是微处理器的一个基本问题,因此也是维持IT革命的一个基本问题。 该项目着眼于允许芯片和更高级别的软件在设备故障时继续工作的机制。该项目的基本思想是如何检测芯片何时失效。该项目建立的核心思想是采样原理。我们的想法是使用一个周期性的采样窗口来检查设备故障,而不是一直检查故障。该项目调查正式模型,硬件实现和评估,以了解设备故障的影响和检测技术的影响。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Karthikeyan Sankaralingam其他文献
Hybrid optimization/heuristic instruction scheduling for programmable accelerator codesign
用于可编程加速器协同设计的混合优化/启发式指令调度
- DOI:
10.1145/3243176.3243212 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Tony Nowatzki;Newsha Ardalani;Karthikeyan Sankaralingam;Jian Weng - 通讯作者:
Jian Weng
OpenSPLySER: The Integrated OpenSPARC and DySER Design
OpenSPLySER:集成的 OpenSPARC 和 DySER 设计
- DOI:
- 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Jesse Benson;Ryan Cofell;Chris Frericks;C. Ho;Karthikeyan Sankaralingam - 通讯作者:
Karthikeyan Sankaralingam
Idempotent code generation: Implementation, analysis, and evaluation
幂等代码生成:实现、分析和评估
- DOI:
10.1109/cgo.2013.6495002 - 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
M. Kruijf;Karthikeyan Sankaralingam - 通讯作者:
Karthikeyan Sankaralingam
Research Statement for Karthikeyan Sankaralingam Dissertation Summary
Karthikeyan Sankaralingam 论文摘要的研究陈述
- DOI:
- 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Karthikeyan Sankaralingam - 通讯作者:
Karthikeyan Sankaralingam
Multicore Model from Abstract Single Core Inputs
来自抽象单核输入的多核模型
- DOI:
10.1109/l-ca.2012.27 - 发表时间:
2013 - 期刊:
- 影响因子:2.3
- 作者:
Emily R. Blem;H. Esmaeilzadeh;Renée St. Amant;Karthikeyan Sankaralingam;D. Burger - 通讯作者:
D. Burger
Karthikeyan Sankaralingam的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Karthikeyan Sankaralingam', 18)}}的其他基金
FoMR: Collaborative Research: Single-Thread Multi-Accelerator Execution to Close the Dennard Scaling Gap
FoMR:协作研究:单线程多加速器执行以缩小 Dennard 缩放差距
- 批准号:
1823447 - 财政年份:2018
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
PFI:AIR - TT: Memory Processing Unit: A Low Power Processor for Analytics Applications
PFI:AIR - TT:内存处理单元:用于分析应用的低功耗处理器
- 批准号:
1701099 - 财政年份:2017
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF:SMALL:Pushing the Limits of Transparent Specialization
SHF:SMALL:突破透明专业化的极限
- 批准号:
1618234 - 财政年份:2016
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CSR: Small: Accelerating Towards the Hardware Specialization Era: A Holistic Approach
CSR:小:加速迈向硬件专业化时代:整体方法
- 批准号:
1218432 - 财政年份:2012
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Medium: Title: Idempotent Processing and Architectures
SHF:媒介:标题:幂等处理和架构
- 批准号:
1162215 - 财政年份:2012
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Multi-Core Architecture, Applications, and Tools Co-Design
SHF:小型:多核架构、应用程序和工具协同设计
- 批准号:
0917238 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
NeTS:Small:A Unified Lookup Framework to Enable the Rapid Deployment of New Protocols in High-Speed Routers
NeTS:Small:统一查找框架,支持在高速路由器中快速部署新协议
- 批准号:
0917213 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CAREER: A Vertically Integrated Approach to Microprocessor Design for Unpredictable Silicon
职业生涯:针对不可预测硅的微处理器设计的垂直集成方法
- 批准号:
0845751 - 财政年份:2009
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
- 批准号:
2315363 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CPS: SMALL: Formal Methods for Safe, Efficient, and Transferable Learning-enabled Autonomy
CPS:SMALL:安全、高效和可迁移的学习自主的正式方法
- 批准号:
2231257 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
SHF:小:小棘手的逻辑:理解逻辑和形式属性的误解
- 批准号:
2227863 - 财政年份:2023
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
- 批准号:
2210243 - 财政年份:2022
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF CORE: Small: Hybrid NLP and Formal Techniques for Synthesizing Assertions and Identifying Ambiguities from English
SHF CORE:小型:用于综合断言和识别英语歧义的混合 NLP 和形式化技术
- 批准号:
2101021 - 财政年份:2021
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans
SaTC:核心:小型:微处理器安全漏洞和特洛伊木马的形式验证技术
- 批准号:
2117190 - 财政年份:2021
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
NSF-BSF: RI: Small: Efficient Transformers via Formal and Empirical Analysis
NSF-BSF:RI:小型:通过形式和经验分析的高效变压器
- 批准号:
2113530 - 财政年份:2021
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Formal Verification of SQRT and Divider Circuits
SHF:小:SQRT 和分压器电路的形式验证
- 批准号:
2006465 - 财政年份:2020
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems
SHF:小型:ANN 控制的网络物理系统的可扩展形式验证
- 批准号:
2008957 - 财政年份:2020
- 资助金额:
$ 20万 - 项目类别:
Standard Grant
CHS: Small: Formal Design of Human Robot Collaboration in Safety Critical Scenarios
CHS:小型:安全关键场景中人机协作的形式化设计
- 批准号:
2007949 - 财政年份:2020
- 资助金额:
$ 20万 - 项目类别:
Standard Grant