Entwicklung von hierarchisch orientierten Methoden und Werkzeugen für den Test und Selbsttest hochintegrierter Systeme (SoCs)
Entwicklung von hierarchisch orientierten Methoden und Werkzeugen für den Test und Selbsttest hochintegrierter Systeme (SoCs)
批准号:
5432654
负责人:
Professor Dr.-Ing. Heinrich Theodor Vierhaus
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
2004
资助国家:
德国
项目状态:
已结题
起止时间:
2003-12-31 至 2007-12-31
中文摘要
MIT der集成冯·梅尔ALS 1亿人。多处理器系统芯片(MP-SoC)集成了多处理器系统芯片。多处理器-系统柴油艺术MIT 2双3 CPU未经授权的架构,在移动通信Sogar的最先进的。这是一个非常重要的问题,也是一个非常重要的问题。Testverfahren für SoCs müssen nur den Fertigangstest von ICs ermöglichen,sondern auch den Selbsttest im Feld unterstützen.在硬件和软件实现方面,我们在硬件和软件实现方面都做得很好。它是测试工具,也是一种广泛的编织方法。它包含了一种新的方法,即“指令级DFI”。Dagegen是两种硬件-/软件-基本的Verfahren,它是从SoC到MIT的测量方法,也是Sogar ALSübergeordneter Selbsttest Organisierbar sind,Bisher kaum verfolgt。麻省理工学院的所有项目都是这样的,层级结构的方向是测试,它的统计和动态是在Kombination den Fertigangstest and den Selbsttest im Feld Funterst können的统计和动态。
英文摘要
Mit der Integration von mehr als 100 Mio. Transistoren auf einem Chip ist es seit einigen Jahren möglich, komplexe Systeme mit mehreren Prozessoren und unterschiedlichen Bus-Systemen auf einem Chip in Form eines "Multi-Processor System on a Chip" (MP-SoC) zu integrieren. Multi-Prozessor-Systeme dieser Art mit 2 bis 3 CPUs unterschiedlicher Architektur sind derzeit in der mobilen Kommunikation sogar "state-of-the-art". Die Verifikation und erst recht der Test solcher Systeme bieten eine Reihe ungelöster Probleme, welche den Einsatz von MP-S0Cs in sicherheitskritischen Anwendungen derzeit noch zu einem Abenteuer werden lassen. Testverfahren für SoCs müssen nicht nur den Fertigungstest von ICs ermöglichen, sondern auch den Selbsttest im Feld unterstützen. Benötigt werden für solche Probleme hierarchisch organisierte Verfahren für den Selbsttest, welche partiell in Hardware und in Software implementiert werden müssen. Derzeit bekannte Testverfahren sind vorwiegend entweder methodisch auf eine Abstraktionsebene des Schaltungsentwurfs ausgerichtet, vorrangig die Gatter-Ebene, oder propagieren einen nur Software-basierten Selbsttest als sogenanntes "Instruction Level DFI". Dagegen werden gemischt Hardware-/Software- basierte Verfahren, die auf SoCs mit mehreren Prozessoren sogar als übergeordneter Selbsttest organisierbar sind, bisher kaum verfolgt. Mit diesem Projekt soll deshalb versucht werden, hierarchisch orientierte Testverfahren zu entwickeln, die einerseits eine hohe Fehlerüberdeckung für statische und dynamische Fehler bieten und die andererseits in Kombination den Fertigungstest und den Selbsttest im Feld unterstützen können.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design Method for Digital Logic Circuits with Optimization for Dependability and Life Time
-
批准号:239166496
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr.-Ing. Heinrich Theodor Vierhaus
-
依托单位:
Methoden der Selbstreparatur für Logik-Baugruppen und Verbindungsstrukturen in Nano-Technologien (SELNA)
-
批准号:63403581
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr.-Ing. Heinrich Theodor Vierhaus
-
依托单位:
Methods and Tools for the Combination od On-line and Off-line Self Test in Ebedded Systems
-
批准号:5283212
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr.-Ing. Heinrich Theodor Vierhaus
-
依托单位:
国内基金
海外基金
登录
查看更多内容
半有限von Neumann代数中投影集上的Wigner定理
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:钱文华
-
依托单位:
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
-
批准号:82302106
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:石伟哲
-
依托单位:
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
-
批准号:12271074
-
项目类别:面上项目
-
资助金额:45万元
-
批准年份:2022
-
负责人:石瑞
-
依托单位:
线性保持方法在量子信息研究中的应用
-
批准号:12001420
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:王美丽
-
依托单位:
关于算子代数上非交换Weyl-von Neumann定理的研究
-
批准号:12001437
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:文仕林
-
依托单位:
有限von Neumann代数的相对顺从性
-
批准号:12001085
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:周晓艳
-
依托单位:
模型空间上截断Toeplitz算子的可约性
-
批准号:12001089
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:李宇飞
-
依托单位:
关于超有限II_1因子中一类算子的不变子空间和单个元生成问题的研究
-
批准号:11961037
-
项目类别:地区科学基金项目
-
资助金额:29.0万元
-
批准年份:2019
-
负责人:朱章生
-
依托单位:
算子代数中齐性空间的微分几何结构
-
批准号:11901453
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2019
-
负责人:崔苗苗
-
依托单位:
非交换Orlicz空间的性质及其闭子空间
-
批准号:11901038
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2019
-
负责人:沈丛丛
-
依托单位: