课题基金 / 基金详情

CPA-DA: Low Power Asynchronous Circuits from Traditional Clocked Verilog and ASIC CAD

CPA-DA: Low Power Asynchronous Circuits from Traditional Clocked Verilog and ASIC CAD
CPA-DA:来自传统时钟 Verilog 和 ASIC CAD 的低功耗异步电路
批准号:
0810408
负责人:
Kenneth Stevens
金额:
$45.01万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-08-01 至 2011-07-31

项目摘要

项目成果

Kenneth Stevens的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Project ID: 0818408Title: Low Power Asynchronous Circuits from Traditional Clocked Verilog and ASIC CADInst: University of UtahPI name: Ken StevensABSTRACTAsynchronous design has been shown to provide substantial power and performance advantages to a wide range of designs when compared to traditional clocked design. This advantage results in extended battery life and energy efficiency. However, asynchronous design (clockless design or ?handshake clocking?) has remained an exotic technology due to its incompatibility with traditional clocked CAD and design methodologies. A fundamental problem to adoption of asynchronous design methods is the inability to characterize and predict performance through static timing analysis, and use timing driven power/performance optimization to place and route these designs. This proposal develops fundamental technology that resolves this roadblock, thus enabling asynchronous design to be integrated into clocked designs and into the clocked CAD tool flows. This opens up a broad capability for designs to operate at higher performance and become more energy efficient. This work is founded on a novel technology called relative timing which uses formal verification techniques to prove both timing and behavioral correctness of asynchronous templates. Timing is now represented as logical constraints. These logical constraints are used to break cyclical sequential circuits into directed acyclic graphs (DAGs). These designs are now directly supported in clocked designs and tool flows as .sdc constraints.There is currently very limited expertise in this technology, so training students must primarily be provided at the university rather than on the job. The combination of a lack of industrial expertise and the high potential of this breakthrough approach has resulted in significant industrial interest. Both Intel, the worlds largest semiconductor firm, and Synopsys, one of the worlds top two design automation companies, are providing funding and mentorship to help commercialize and technology transfer this project. Nanochronous, a startup, is providing CAD tools and research collaboration. The involvement of under represented minorities are also a focus of this project as a female engineer will be supported by this research. A workshop will be formed to disseminate the results of this work. Finally this project will work collaboratively with a sister grant developing Network-on-Chip technology to prove the simplicity of adopting this work into broader applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Low Power System-on-Chip Circuits and CAD
  • 批准号:
    1218012
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.5万
  • 财政年份:
    2012
  • 负责人:
    Kenneth Stevens
  • 依托单位:
CSR: Large: Collaborative Research: Integrating Circuits, Sensing, and Software to Realize the Cubic-mm Computing Class
  • 批准号:
    1111533
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $46.65万
  • 财政年份:
    2011
  • 负责人:
    Kenneth Stevens
  • 依托单位:
CPA: Collaborative Research: Formal Techniques for Designing Globally Asynchronous and Locally Synchronous Systems (FMGALS)
  • 批准号:
    0702539
  • 项目类别:
    Standard Grant
  • 资助金额:
    $20.0万
  • 财政年份:
    2007
  • 负责人:
    Kenneth Stevens
  • 依托单位:
U.S.-Germany Cooperative Research: Respiratory Correlates of Speech Variations and Applications to Speech Production Modeling
国内基金
海外基金
姜黄素衍生物Da0324通过抑制TRIP12介导的FBW7泛素化抑制结直肠癌的化疗耐药
  • 批准号:
    2026JJ82279
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    刘亚
  • 依托单位:
新型氟化物HFPO-DA和镉对土壤微生物的联合毒性效应
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    秦俊莲
  • 依托单位:
LACTB琥珀酰化修饰调控巨噬细胞CCL2-CCR2轴在新型青蒿素衍生物DA抗细菌脓毒症的作用及机制
嗜黏蛋白艾克曼菌(AKK)通过肠神经-孤束核-伏隔核DA/5-HT系统对小鼠酒精成瘾行为的预防作用及机制研究
  • 批准号:
    2025JJ50534
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    张晓洁
  • 依托单位: