Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
全局异步-局部同步(GALS)系统和电路的规范、验证和综合
基本信息
- 批准号:5428633
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2004
- 资助国家:德国
- 起止时间:2003-12-31 至 2005-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Anforderungen an Systeme zur mobilen Kommunikation führen zu immer komplexeren Schaltungen. Es wird zunehmend schwieriger, diese Schaltungen mit herkömmlichen Methoden des synchronen Schaltungsentwurfs zu implementieren. Insbesondere wachsen Probleme der Taktsynchronisation, der elektromagnetischen Interferenz und des Energieverbrauchs. Zur Lösung dieser und anderer Probleme bieten sich asynchrone Schaltungstechniken an; insbesondere global asynchrone, aber lokal synchrone Systeme ("GALS"). Effektive Verfahren zum durchgängigen Entwurf und zur Implementierung von GALS sind jedoch zur Zeit nicht verfügbar. In diesem Projekt werden Methoden entwickelt, um GALS zu entworfen, insbesondere für Schaltungen mobiler Kommunikationssysteme. Die Entwurfsmethodik basiert wesentlich auf Petrinetzen. Drei Arbeitsgruppen kombinieren ihre Kompetenzen zu theoretischen Grundlagen, technischen Lösungen und praktischen Anforderungen und entwickeln gemeinsam eine durchgängige und effiziente Entwurfsmethode (Designflow) von der Spezifikation und Verifikation über Schaltungssynthese bis zur Implementierung als integrierte Schaltungen. Sie demonstrieren die Leistungsfähigkeit ihrer Methoden mit einem exemplarischen Entwurf. Das Ergebnis dieses Projektes trägt dazu bei, Techniken des asynchronen Schaltungsentwurfs für Industrie und Forschung zugänglich zu machen und die Aktivitäten auf diesem Gebiet in Deutschland zu bündeln.
这是一种系统的运动和交流,它是由沙尔通根实施的。这是一个新的施维里格,也就是施尔通根和他的同步法。在电磁同步、电磁干扰和能源方面存在问题。中国的L表示,这是一个全球同步的系统(“GALS”)。有效的Verfahren zum duchgängien Entwurf and zur Implementierung von Gals sind jedoch zur Zeit Nicht VerfüGBar.在我们的项目中,有卫理公会提供的服务,以及沙尔通根的移动通信系统。这是一种新的方法,我们不会忘记它的。从理论到实践,从技术到实践,从设计到实践,从技术到实践,从设计到实践,从技术到实践,从设计到实践都是如此。这是一种很好的教育方法。在德国,德意志联邦的工业和工业发展与技术进步是不同的,而德国的工业和工业发展则是以技术为基础。
项目成果
期刊论文数量(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. Wolfgang Reisig其他文献
Professor Dr. Wolfgang Reisig的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Wolfgang Reisig', 18)}}的其他基金
Certifying Algorithms for Interactive Components and Distributed Systems
交互式组件和分布式系统的认证算法
- 批准号:
261369405 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Research Grants
Automatische Synthese von Verhaltensadaptern zwischen Services
服务之间行为适配器的自动合成
- 批准号:
57095390 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Die Ausdruckskraft von Abstract State Machines
抽象状态机的表达能力
- 批准号:
5450692 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Grants
Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen
网络算法和反应系统的组成验证
- 批准号:
5083656 - 财政年份:1997
- 资助金额:
-- - 项目类别:
Research Grants
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie
面向应用的Petrie网技术的分类、构思和提供
- 批准号:
5283216 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Research Units
Konsens-Algorithmen für verteilte Systeme
分布式系统的共识算法
- 批准号:
5217164 - 财政年份:1995
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien
基于角色的安全策略的正式规范、验证和实施
- 批准号:
25616799 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
信息流的规范和验证 (InfoZert B)
- 批准号:
15948980 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号:
5245534 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Priority Programmes
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号:
5245560 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Priority Programmes
Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
微内核基本安全属性的正式规范和验证
- 批准号:
5288276 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Research Grants
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号:
5135386 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号:
5135392 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号:
5292084 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Priority Programmes
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号:
5267552 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Priority Programmes
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号:
5267558 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Priority Programmes














{{item.name}}会员




