SHF: Small: Formal Synthesis of Low-Energy Signal Processing Systems Relying on Controlled Timing-Error Acceptance

SHF:小型:依赖于受控定时误差接受的低能量信号处理系统的形式综合

基本信息

  • 批准号:
    1018075
  • 负责人:
  • 金额:
    $ 44.97万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-09-01 至 2015-08-31
  • 项目状态:
    已结题

项目摘要

Improving energy efficiency of embedded and mobile systems is a major design challenge. Such systems involve complex algorithms for audiovisual processing, recognition, and communication that heavily utilize digital signal processing (DSP) architectures. This proposal advances a systematic strategy to reduce energy consumption of DSP sub-systems and thereby make major strides towards a new generation of low-energy embedded applications. The main premise behind the proposal is that signal processing algorithms may accept, in a finely controlled manner, some amount of timing errors in return for significant energy savings. Signal processing algorithms have an intrinsic quality floor, set by quantization and roundoff noise. A traditional design paradigm of worst-case margining is highly suboptimal, and by accepting a small amount of low-probability timing errors, significant energy savings of more than 50% are possible.Research under this proposal will result in the development of a formal analysis and synthesis framework for integration into a hardware synthesis flow that supports systematic design of ultra low-energy error-permissive DSP systems. A flow for controlled acceptance of timing errors must fundamentally be based on a new formal notion of quality-energy (Q-E) tradeoff, which is unique to error-permissive signal processing, and which will allow treatment of other Q-E techniques, such as approximate signal processing, consistently within the same framework. To this end, the goals of this project are two-fold: (i) to formally develop models and analysis techniques for controlled timing-error acceptance under given input statistics and quality-energy budgets, and (ii) to develop a comprehensive synthesis flow that allows multiple Q-E techniques to be applied to the co-optimization of quality, energy, area and performance objectives for a large class of algorithms that can generally tolerate a small amount of errors. Results of this work will enable automatic exploration of joint algorithm and architecture tradeoffs for implementation of general quality- and energy-tuned error-permissive systems. The new controlled timing error paradigm will facilitate sustained improvement in the energy efficiency of integrated circuits and digital systems, where ultra low-energy operation will enable use of hitherto infeasible portable, implantable, wireless and autonomous systems.
提高嵌入式和移动系统的能源效率是一个主要的设计挑战。此类系统涉及大量利用数字信号处理(DSP)体系结构的视听处理,识别和通信的复杂算法。该提案采取了一种系统的策略,以减少DSP子系统的能源消耗,从而迈向新一代的低能量嵌入式应用。该提案背后的主要前提是,信号处理算法可以以精致的方式接受一些定时错误,以回报大量的能源节省。信号处理算法具有固有的质量底层,由量化和圆形噪声设置。传统的最坏情况边缘的设计范式是高度次优的,通过接受少量低概率的时序误差,可能可以节省大量50%以上。在此建议下,研究将导致形式分析和合成框架的形式分析和合成框架,以集成到硬件合成中,以支持超级效果的系统性设计。从根本上讲,控制正时错误的流动必须基于一种新的质量能量(Q-E)折衷的正式概念,该质量 - Q-E)的折衷是误解了错误的信号处理,并且将允许对其他Q-E技术进行处理,例如近似信号处理,始终如一地在同一框架内。为此,该项目的目标是两个方面:(i)在给定的输入统计数据和质量能量预算下正式开发用于受控的计时 - 错误接受的模型和分析技术,以及(ii)开发一种全面的合成流,允许多个Q-E技术适用于质量,能源的质量,较大的目标和较大的效果,以供多个质量,大量的目标,大量的级别的能力,该级别的较大的目标是该级别的较大的目标。这项工作的结果将能够自动探索联合算法和建筑折衷方案,以实施一般质量和能源调整的误解系统。新的受控正时错误范式将有助于综合电路和数字系统的能源效率的持续提高,在这些电路和数字系统的能源效率下,超低能操作将有助于使用迄今不可避免的便携式,可植入,无线和自主系统。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

暂无数据

数据更新时间:2024-06-01

Andreas Gerstlauer其他文献

Efficient Approaches for GEMM Acceleration on Leading AI-Optimized FPGAs
在领先的 AI 优化 FPGA 上进行 GEMM 加速的有效方法
  • DOI:
    10.48550/arxiv.2404.11066
    10.48550/arxiv.2404.11066
  • 发表时间:
    2024
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Endri Taka;Dimitrios Gourounas;Andreas Gerstlauer;Diana Marculescu;Aman Arora
    Endri Taka;Dimitrios Gourounas;Andreas Gerstlauer;Diana Marculescu;Aman Arora
  • 通讯作者:
    Aman Arora
    Aman Arora
共 1 条
  • 1
前往

Andreas Gerstlauer的其他基金

Student Travel Grant for Embedded Systems Week (ESWEEK) 2019
2019 年嵌入式系统周 (ESWEEK) 学生旅费补助
  • 批准号:
    1929543
    1929543
  • 财政年份:
    2019
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Medium: Collaborative Research: Predictive Modeling for Next-generation Heterogeneous System Design
SHF:媒介:协作研究:下一代异构系统设计的预测建模
  • 批准号:
    1763848
    1763848
  • 财政年份:
    2018
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
CSR: Small: Network-Level Design of Cyber-Physical Systems
CSR:小型:信息物理系统的网络级设计
  • 批准号:
    1421642
    1421642
  • 财政年份:
    2014
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Algorithm/Architecture Co-Design of Low Power and High Performance Linear Algebra Compute Fabrics
SHF:小型:低功耗和高性能线性代数计算结构的算法/架构协同设计
  • 批准号:
    1218483
    1218483
  • 财政年份:
    2012
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant

相似国自然基金

SERT-nNOS蛋白相互作用的结构基础及其小分子互作抑制剂的设计、合成及快速抗抑郁活性研究
  • 批准号:
    82373728
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
APOE调控小胶质细胞脂代谢模式在ASD认知和社交损伤中的作用及机制研究
  • 批准号:
    82373597
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
小胶质细胞外泌体通过miR-486抑制神经元铁死亡介导电针修复脊髓损伤的机制研究
  • 批准号:
    82360454
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
CUL4B正反馈调控FOXO3a-FOXM1通路促进非小细胞肺癌放疗抵抗的机制研究
  • 批准号:
    82360584
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
葡萄糖饥饿条件下AMPK-CREB-PPA1信号通路促进非小细胞肺癌细胞增殖的分子机制研究
  • 批准号:
    82360518
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目

相似海外基金

CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
  • 批准号:
    2315363
    2315363
  • 财政年份:
    2023
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
SHF:小:小棘手的逻辑:理解逻辑和形式属性的误解
  • 批准号:
    2227863
    2227863
  • 财政年份:
    2023
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
  • 批准号:
    2210243
    2210243
  • 财政年份:
    2022
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF CORE: Small: Hybrid NLP and Formal Techniques for Synthesizing Assertions and Identifying Ambiguities from English
SHF CORE:小型:用于综合断言和识别英语歧义的混合 NLP 和形式化技术
  • 批准号:
    2101021
    2101021
  • 财政年份:
    2021
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant
SHF: Small: Formal Verification of SQRT and Divider Circuits
SHF:小:SQRT 和分压器电路的形式验证
  • 批准号:
    2006465
    2006465
  • 财政年份:
    2020
  • 资助金额:
    $ 44.97万
    $ 44.97万
  • 项目类别:
    Standard Grant
    Standard Grant