Simulation analoger Schaltungen unter Verwendung von Gebietsarithmetiken
Simulation analoger Schaltungen unter Verwendung von Gebietsarithmetiken
批准号:
119193432
负责人:
Professor Dr.-Ing. Erich Barke
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2009
资助国家:
德国
项目状态:
已结题
起止时间:
2008-12-31 至 2013-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Die zunehmende Verkleinerung der Strukturen in integrierten Schaltungen (ICs) führt unausweichlich zu einer Zunahme der Parameterschwankungen1. Diese Schwankungen sind primär durch prozessspezifische Aspekte (Lithografie, Dotierung usw.) bedingt. Moderne ICs stellen sog. Systems on Chip (SoC) dar, da sie wesentliche Komponenten (Sensoren, Aktoren) auf einem Chip integrieren. Ein Großteil dieser Komponenten wird in Digitaltechnik realisiert, die Interaktion mit der Umgebung (Sensorik) erfolgt jedoch nach wie vor durch Analogkomponenten. Der Entwurf des Analog- Teils ist durch eine hohe Empfindlichkeit gegenüber Parameterschwankungen besonders kritisch und erfordert erheblichen Aufwand zur Verifikation. In sicherheitsrelevanten Systemen, z.B. Automotive, Medizin oder Luftfahrt, sind eine zuverlässige Verifikation und eine verlässliche Modellierung unabdingbar.In diesem Vorhaben soll ein neuartiges Simulationswerkzeug für analoge Schaltungen basierend auf Gebietsarithmetiken entwickelt werden, das die bekannten Analysearten (DC, AC und TR) ermöglicht. Das Werkzeug verwendet eine neue Beschreibung des toleranzbehafteten Parameterraumes durch affine Formen. Die affine Arithmetik erweitert die Intervalldarstellung durch lineare Korrelationsinformationen und gewährleistet sichere Einschlüsse der exakten Ergebnisse durch konservative Approximationen. Der neue Ansatz bietet wesentliche Vorteile beim Entwurf analoger Komponenten: Aus den Simulationsergebnissen lassen sich Informationen zur Verbesserung des Designs ableiten, da Systemgrößen und Parameter über sog. Symbole, die bei der affinen Arithmetik Anwendung finden, in Beziehung stehen. Gleichzeitig ergeben sich neue Möglichkeiten zur Verhaltensmodellierung unter Beibehaltung von Eigenschaften mit Unsicherheiten (verlässliche Modellierung). Einflüsse auf physikalischer Ebene lassen sich auf abstrakte Beschreibungen übertragen und liefern somit bei der Systemsimulation wesentlich bessere Einblicke in das Verhalten des Systems.Der Kern des Werkzeugs ist ein nichtlinearer Gleichungslöser mit Gebietsarithmetiken, der für den Einsatz zur Simulation optimiert ist. Das Werkzeug ist jedoch ebenfalls für den Einsatz in anderen Disziplinen (z.B. mechanische Systeme) geeignet.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
New Simulation Methods for Accelerated Mixed-Signal Simulation
-
批准号:247945085
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Simultanes Plazierungs- und Globalverdrahtungsverfahren mit integriertem Einfügen von Repeatern
-
批准号:157660908
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Datenstruktur für nicht-orthogonale parasitensymmerische Verdrahtung
-
批准号:107847545
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Modellierung und Simulation von Chipdesignsystemen
-
批准号:73377603
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Verfahren zur ausfallsicheren Verdrahtung von Signalnetzen in integrierten Schaltungen
-
批准号:47305300
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Interconnect-Driven Design methodology for integrated circuits
-
批准号:5349863
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Model checking for nonlinear dynamic circuits
-
批准号:5396611
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Substrate contact placement by electrical substrate model analysis
-
批准号:5358328
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Ein formaler Ansatz zur Verifikation nichtlinearer dynamischer analoger Schaltungen
-
批准号:5266944
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
Verzögerungszeit optimierende Partitionsierung auf heterogene Field Programmable Gate-Array (FPGA) Boards unter Berücksichtigung harter Zeitbedingungen
-
批准号:5275448
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Erich Barke
-
依托单位:
海外基金