Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen

工艺变化下易损电路元件的识别和测试

基本信息

项目摘要

Nanoelektronische Schaltungen und Systeme sind zunehmend von massiven statistischen Prozessvariationen betroffen. Um weiterhin einen stabilen Betrieb zu gewährleisten, müssen sie robust ausgelegt, d.h. mit Fehlerschutzmechanismen auf unterschiedlichen Ebenen versehen sein. Im Rahmen des geplanten Vorhabens sollen Methoden entwickelt werden, welche die Anfälligkeit von Systemen gegenüber Prozessvariationen analysieren. Dabei sollen besonders kritische, d.h. fehleranfällige Komponenten identifiziert werden, auch unter der Berücksichtigung von Fehlerbehandlung, die gegebenenfalls auf Systemebene bereits vorgenommen wird. Das methodische Vorgehen stützt sich auf eine Weiterentwicklung des in der ersten Förderperiode untersuchten Konzepts des akzeptablen Verhaltens. Die Ergebnisse dieser Analyse können zur Steuerung von (im Rahmen des Vorhabens nicht weiter betrachteten) zusätzlichen robustheitsoptimierenden Maßnahmen verwendet werden. Es sollen vielmehr Testmustergenerierungsansätze (ATPG) für die ermittelten fehleranfälligen Komponenten entwickelt werden. Dabei sind im Allgemeinen hochkomplexe ATPG-Instanzen mit einer Vielzahl von Nebenbedingungen zu lösen (Multi- Constraint-ATPG). Als Methode soll vor allem (entsprechend angepasste) SAT-Basistechnologie zum Einsatz kommen, deren Wirksamkeit für verwandte Problemklassen in den letzten Jahren überzeugend demonstriert wurde.
纳米电子学的研究和系统是由统计过程的变化引起的。在另一个稳定的Betrieb zu gewährleisten,müssen sie robust ausgelegt,d.h. mit Fehlerschutzmechanismen auf unterschedlichen Ebenen versehen seen seen.通过韦尔登,可以对系统进行分析。大北索伦贝森德·克里蒂谢公司。在对系统进行评估时,可以识别出韦尔登,也可以通过对系统进行评估来实现。Das methodische Vorgehen stützt sich auf eine Weiterentwicklung des in der ersten Förderperiode untersuchten Konzepts des akzeptablen Verhaltens.该结果分析了(在前体部分的范围内)坚固的最高强度材料韦尔登的稳定性。Es sollen vielmehr Testmustergenerungsansätze(ATPG)für die ermittelten fehleranfäligen Komponenten entwickelt韦尔登. Dabei sind im Allgemeinen hochkomplex ATPG-Instanzen mit einer Vielzahl von Nebenbedingungen zu lösen(Multi-Constraint-ATPG).所有方法都是为了在未来几年内解决所有需要解决的问题。

项目成果

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

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Bernd Becker其他文献

Professor Dr. Bernd Becker的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Bernd Becker', 18)}}的其他基金

Solving Dependency Quantified Boolean Formulas
求解依赖量化布尔公式
  • 批准号:
    278046454
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Algebraic Fault Attacks
代数故障攻击
  • 批准号:
    267369888
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Test und Diagnose in Nanoscale-Technologien
纳米技术的测试和诊断
  • 批准号:
    14374185
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information
使用考虑到不完整信息的验证技术
  • 批准号:
    5392100
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen
VLSI系统中的路由问题——遗传算法的解决方案
  • 批准号:
    5385291
  • 财政年份:
    1997
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen
VLSI 电路中逻辑综合和验证的高效算法
  • 批准号:
    5209416
  • 财政年份:
    1995
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes

相似海外基金

Entwicklung und Test einer Methode zur Datierung fossiler Methanquellen-Karbonate mittels Strontium-Isotopie
使用锶同位素测定化石甲烷源碳酸盐的方法的开发和测试
  • 批准号:
    214009799
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Alt-Neu-Rekognition und Quellengedächtnis für Gesichter von kooperativen und betrügerischen Interaktionspartnern: Ein Test der emotionalen Inkongruenzhypothese
合作和欺骗性互动伙伴面孔的新旧识别和源记忆:情感不一致假设的检验
  • 批准号:
    197061626
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Randbedingungen und Konsequenzen des Erlebens intrinsischer Motivation: Experimenteller Test der Flow-Theorie
体验内在动机的边界条件和后果:心流理论的实验检验
  • 批准号:
    131767544
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Test und Diagnose in Nanoscale-Technologien
纳米技术的测试和诊断
  • 批准号:
    14374185
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung von hierarchisch orientierten Methoden und Werkzeugen für den Test und Selbsttest hochintegrierter Systeme (SoCs)
开发面向层次的方法和工具,用于高度集成系统(SoC)的测试和自测试
  • 批准号:
    5432654
  • 财政年份:
    2004
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Entwicklung und Test eines integrierten Kundenwertmodells in industriellen Geschäftsbeziehungen.
工业业务关系中集成客户价值模型的开发和测试。
  • 批准号:
    5349530
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Fellowships
Entwicklung eines Modells der menschlichen Satzverarbeitung aufbauend auf Konzepten der Optimalitätstheorie und der Rational Analysis. Umsetzung des Models durch Computersimulationen mit Hilfe von corpusbasierten Techniken aus der Computerlinguistik; Test
基于最优理论和理性分析的概念开发人类句子处理模型。
  • 批准号:
    5322502
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Emmy Noether International Fellowships
Aspekte der Testgüte (Reliabilität und Validität) bei der Messung der Einstellung zu Frauen und Männern mit dem Implicit Association Test (IAT), untersucht mit Hilfe von Strukturgleichungsmodellen
使用内隐关联测试 (IAT) 测量对女性和男性的态度时的测试质量(可靠性和有效性)方面,借助结构方程模型进行检查
  • 批准号:
    5310856
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Fellowships
Ökologische Artbildung im Test: Analyse von natürlicher Selektion und Genfluss in der Unken-Hybridzone (Bombina) in Siebenbürgen
生态物种形成经受考验:特兰西瓦尼亚蟾蜍杂交区(Bombina)的自然选择和基因流分析
  • 批准号:
    5165108
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Die Erweiterung der westlichen Staatengemeinschaft. Ein Test rationalistischer und konstruktivistischer Hypothesen
西方国家共同体的扩张。
  • 批准号:
    5155078
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了