刷新
{{item.name}}会员
Ein formaler Ansatz zur Verifikation nichtlinearer dynamischer analoger Schaltungen
验证非线性动态模拟电路的形式化方法
基本信息
- 批准号：5266944
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：1996
- 资助国家：德国
- 起止时间：1995-12-31 至 2000-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（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.-Ing. Erich Barke其他文献
Professor Dr.-Ing. Erich Barke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Erich Barke', 18)}}的其他基金
New Simulation Methods for Accelerated Mixed-Signal Simulation
加速混合信号仿真的新仿真方法
- 批准号：
247945085 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Grants
Simultanes Plazierungs- und Globalverdrahtungsverfahren mit integriertem Einfügen von Repeatern
通过集成插入中继器进行同步放置和全局布线过程
- 批准号：
157660908 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Datenstruktur für nicht-orthogonale parasitensymmerische Verdrahtung
非正交寄生对称布线的数据结构
- 批准号：
107847545 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Simulation analoger Schaltungen unter Verwendung von Gebietsarithmetiken
使用域算法进行模拟电路仿真
- 批准号：
119193432 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Modellierung und Simulation von Chipdesignsystemen
芯片设计系统建模与仿真
- 批准号：
73377603 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Verfahren zur ausfallsicheren Verdrahtung von Signalnetzen in integrierten Schaltungen
集成电路中信号网络的故障安全接线方法
- 批准号：
47305300 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Interconnect-Driven Design methodology for integrated circuits
集成电路互连驱动设计方法
- 批准号：
5349863 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants
Model checking for nonlinear dynamic circuits
非线性动态电路的模型检查
- 批准号：
5396611 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants
Substrate contact placement by electrical substrate model analysis
通过电气基板模型分析进行基板接触放置
- 批准号：
5358328 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants
Verzögerungszeit optimierende Partitionsierung auf heterogene Field Programmable Gate-Array (FPGA) Boards unter Berücksichtigung harter Zeitbedingungen
考虑到恶劣的时间条件，异构现场可编程门阵列 (FPGA) 板上的延迟时间优化分区
- 批准号：
5275448 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes
相似海外基金
Konfliktregulierung und Postkonfliktprozesse in Ghana und Uganda. Nichtstaatliche Akteure und Varianten sozio-politischer Arrangements jenseits formaler staatlicher Organisationsstrukturen im subsaharischen Afrika
加纳和乌干达的冲突监管和冲突后进程。
- 批准号：
92095928 - 财政年份：2009
- 资助金额：
-- - 项目类别：
Research Grants
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
计算机辅助电路设计稳健性的形式证明
- 批准号：
61273444 - 财政年份：2008
- 资助金额：
-- - 项目类别：
Research Grants
Maschinelles Lernen von formaler Kommunikation
正式沟通的机器学习
- 批准号：
62195230 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen
结合形式和半形式技术验证基于 C 的系统描述
- 批准号：
5372288 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
正式规范背景下的工程安全分析
- 批准号：
5134877 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes