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
中文摘要
在现代复杂的微处理器中发现漏洞是一项关键而艰巨的任务,必须巧妙地掌握这项任务,才能将设计从第一块芯片推向市场。逃脱的漏洞可能会导致一家数字硅公司的灭亡。同时,在第一个硅原型上寻找设计错误缺乏预硅仿真框架所提供的可观察性、可控性和可重复性。使过程进一步复杂化的是,在实际硅中出现的许多错误是复杂的异步交互和/或电气异常的结果,这些异常通常不容易或经常重复。由于这些挑战,在早期的硅中调试这些“转瞬即逝的bug”是一种黑暗的艺术,如果调试过程进行得不顺利,可能会严重影响设计进度。本项目研究解决方案,以支持这些最具挑战性的后硅验证错误的有效诊断,这些错误只是偶尔出现。这些错误可能是功能、时间或电气错误,也可能是遗漏的制造缺陷。该方法需要在芯片上放置轻量级仪器,以便在原型测试执行期间收集数据。然后使用统计推理算法对数据进行离线分析,以快速将验证工程师指向有问题的组件。该研究探索了一系列的想法,以找到最有前途的仪器和算法进行分析。这项研究工作的结果使半导体公司能够在提供高质量产品的同时缩短上市时间,同时降低漏失bug的发生率;反过来,这项工作使社会受益,因为它为电子工业打开了进一步的规模和增长。
英文摘要
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
-
依托单位:
Design Methodologies for Defect-Tolerant Computing Systems
-
批准号:0541169
-
项目类别:Continuing Grant
-
资助金额:$15.0万
-
财政年份:2006
-
负责人:Valeria Bertacco
-
依托单位:
CSR---EHS: Ultra low cost system-level defect protection
-
批准号:0615005
-
项目类别:Continuing Grant
-
资助金额:$36.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
-
负责人:何祖华
-
依托单位: