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
批准号:
0810408
负责人:
Kenneth Stevens
金额:
$45.01万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-08-01 至 2011-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
批准号:9821048
-
项目类别:Standard Grant
-
资助金额:$0.67万
-
财政年份:1999
-
负责人:Kenneth Stevens
-
依托单位:
U.S.-India Cooperative Research: Development of Rules for Synthesis of Hindi Speech, Award in U.S. and Indian Currency
-
批准号:9421146
-
项目类别:Standard Grant
-
资助金额:$2.31万
-
财政年份:1995
-
负责人:Kenneth Stevens
-
依托单位:
U.S.-Sweden Cooperative Science: Acoustic Models of Consonant Production
-
批准号:9024713
-
项目类别:Standard Grant
-
资助金额:$1.08万
-
财政年份:1991
-
负责人:Kenneth Stevens
-
依托单位:
"Word Recognition Based on Phonetic Features and Acoustic Properties"
-
批准号:8910561
-
项目类别:Continuing grant
-
资助金额:$48.85万
-
财政年份:1990
-
负责人:Kenneth Stevens
-
依托单位:
Toward a Phonetic and Phonological Theory of Redundant Features
-
批准号:8418733
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1985
-
负责人:Kenneth Stevens
-
依托单位:
Automatic Speech Understanding
-
批准号:8112899
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1981
-
负责人:Kenneth Stevens
-
依托单位:
The Function of Phonological Modification in Parental SpeechTo Children
-
批准号:7726871
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1978
-
负责人:Kenneth Stevens
-
依托单位:
The Function of Phonological Modification in Parental SpeechTo Children: Phonological Extension of "Studies in the Acquisition of Communicative Competence"
-
批准号:7680278
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1977
-
负责人:Kenneth Stevens
-
依托单位:
国内基金
海外基金
登录
查看更多内容
姜黄素衍生物Da0324通过抑制TRIP12介导的FBW7泛素化抑制结直肠癌的化疗耐药
-
批准号:2026JJ82279
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:刘亚
-
依托单位:
新型氟化物HFPO-DA和镉对土壤微生物的联合毒性效应
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:秦俊莲
-
依托单位:
LACTB琥珀酰化修饰调控巨噬细胞CCL2-CCR2轴在新型青蒿素衍生物DA抗细菌脓毒症的作用及机制
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:岑彦艳
-
依托单位:
嗜黏蛋白艾克曼菌(AKK)通过肠神经-孤束核-伏隔核DA/5-HT系统对小鼠酒精成瘾行为的预防作用及机制研究
-
批准号:2025JJ50534
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:张晓洁
-
依托单位:
CXCR3通路参与调控TSPO-18Da在视神经脊髓炎谱系疾病合并神经性疼痛中的机制研究
-
批准号:2025JJ50684
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:周小良
-
依托单位:
OPG-RANKL-RANK轴调控NLRP3炎症小体介导DA神经元变性的分子机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:陈祥
-
依托单位:
基于HIF-1/DA/VEGF途径探讨健脾补肾方介导MAPK调控“成血管-成骨偶联产促进胎骨头环球腹腔机制研究
-
批准号:
-
项目类别:青年科学基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:于湿
-
依托单位:
逆针刺介导DA能系统异常修复运动疲劳后小鼠皮层-纹状体通路突触受损的作用研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:曹家桢
-
依托单位:
逆针刺介导 DA能系统异常修复运动疲劳后小鼠皮层-纹状体通路突触受损的作用研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:曹家桢
-
依托单位:
tDCS通过调控星形胶质细胞表型转化对PD鼠中移植DA能神经干细
胞的整合功能的影响及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:承欧梅
-
依托单位: