咨询与建议

限定检索结果

文献类型

  • 2 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 电气工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 parameter variab...
  • 2 篇 hybrid automaton
  • 2 篇 abstraction
  • 2 篇 behavioral model...
  • 2 篇 verification
  • 2 篇 reachability

机构

  • 1 篇 goethe univ fran...
  • 1 篇 institute for co...

作者

  • 2 篇 tarraf ahmad
  • 2 篇 hedrich lars

语言

  • 2 篇 英文
检索条件"主题词=parameter variable matrices"
2 条 记 录,以下是1-10 订阅
排序:
Automatic Modeling of Transistor Level Circuits by Hybrid Systems with parameter variable matrices  16
Automatic Modeling of Transistor Level Circuits by Hybrid Sy...
收藏 引用
16th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) / 15th Conference on PhD Research in Microelectronics and Electronics (PRIME)
作者: Tarraf, Ahmad Hedrich, Lars Goethe Univ Frankfurt Inst Comp Sci Frankfurt Germany
Model abstraction of transistor-level circuits, while preserving an accurate behavior, is still an open problem. In this paper an approach is presented that automatically generates a hybrid automaton (HA) with linear ... 详细信息
来源: 评论
Modeling circuits with parameter variation by elsa: eigenvalue based linear hybrid system abstraction  17
Modeling circuits with parameter variation by elsa: eigenval...
收藏 引用
17. ITG/GMM-Fachtagung ANALOG 2020 - 17th ITG/GMM Symposium ANALOG 2020
作者: Tarraf, Ahmad Hedrich, Lars Institute for Computer Science Goethe University Frankfurt Germany
—Setting up a strong verification of analog circuits is a problem many designers still face today. Formal verification could help to harden the validation process. One way to make formal verification applicable on la... 详细信息
来源: 评论