CSR: Small: Accelerating Microprocessor Post-Silicon Diagnosis with Statistical Inference
CSR: Small: Accelerating Microprocessor Post-Silicon Diagnosis with Statistical Inference
批准号:
1217764
负责人:
Valeria Bertacco
金额:
$47.82万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2012
资助国家:
美国
项目状态:
已结题
起止时间:
2012-09-01 至 2016-08-31
中文摘要
在现代复杂的微处理器中寻找漏洞是一项关键而艰巨的任务,必须熟练掌握,才能将设计从第一个硅芯片转移到发射。 逃脱的漏洞可能导致数字硅公司的灭亡。与此同时,寻找第一个硅原型的设计错误缺乏可观察性,可控性和可重复性所提供的前硅模拟框架。为了使该过程进一步复杂化,在真实的硅中显现的许多缺陷是复杂的异步交互和/或电异常的结果,这些异常通常不容易或不频繁地重复。 由于这些挑战,在早期硅中调试这些“转瞬即逝的错误”是一种黑魔法,如果调试过程不能顺利进行,可能会严重影响设计进度。本项目研究解决方案,以支持这些最具挑战性的后硅验证错误的有效诊断,这些错误只是偶尔出现。这些错误可能是功能、时序或电气错误,也可能是遗漏的制造缺陷。该方法需要在芯片上放置轻量级仪器,以在原型的测试执行期间收集数据。然后使用统计推断算法离线分析数据,以快速将验证工程师指向违规组件。该研究探索了一系列想法,以找到最有前途的分析仪器和算法。这项研究工作的结果使半导体公司能够缩短上市时间,同时提供高质量的产品,并降低逃逸错误的发生率;反过来,这项工作有利于社会,因为它为电子行业带来了进一步的规模和增长。
英文摘要
Finding bugs in modern complex microprocessors is a critical and daunting task that must be deftly mastered to move designs from first silicon to launch. Escaped bugs may lead to the demise of a digital silicon company. At the same time, looking for design errors on first silicon prototypes lacks the observability, controllability and repeatability afforded by pre-silicon simulation frameworks. To complicate the process further, many of the bugs that manifest in real silicon are the result of complex asynchronous interactions and/or electrical anomalies that are often not easily or frequently repeatable. Because of these challenges, debugging these "fleeting bugs" in early silicon is a black art that can significantly impact design schedules if the debugging process does not proceed smoothly.This project investigates solutions to support the efficient diagnosis of these most challenging post-silicon validation bugs, those that manifest only occasionally. These bugs may be functional, timing or electrical errors, or also missed manufacturing defects. The approach entails placing lightweight instrumentation on-chip to collect data during a prototype's test executions. The data is then analyzed offline using statistical inference algorithms to quickly point verification engineers to offending components. The research explores a range of ideas to find the most promising instrumentation and algorithms for analysis. The results of this research effort allow semiconductor companies to shorten their time to market while delivering high quality products, with low incidence of escaped bugs; in turn, the work benefits society in that it unlocks further scaling and growth for the electronics industry.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CAREER CPA-CSA: Correctness-Constrained Execution for Processor Designs
-
批准号:0746425
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2008
-
负责人:Valeria Bertacco
-
依托单位:
CSR---EHS: Ultra low cost system-level defect protection
-
批准号:0615005
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2006
-
负责人:Valeria Bertacco
-
依托单位:
Design Methodologies for Defect-Tolerant Computing Systems
-
批准号:0541169
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:2006
-
负责人:Valeria Bertacco
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: