首页> 外文会议>Proceedings of ANALOG 2016, ITG/GMM-Symposium >Instrumentation of the Control Flow of SystemC AMS - Models for Symbolic Simulation
【24h】

Instrumentation of the Control Flow of SystemC AMS - Models for Symbolic Simulation

机译:SystemC AMS控制流的仪表-符号仿真模型

获取原文
获取原文并翻译 | 示例

摘要

Until now it was hard to integrate formal verification of Analog/Mixed-Signal Systems in existing design fl ows. Beside scalability, the compatibility of models is also a challenge. This work describes how existing SystemC AMS modules can be instrumented to switch from a numeric to a symbolic simulation. Here, we extend an existing approach with abstract data type (ADT) for arithmetic operations (data flows) to allow also symbolic simulation of control flows.
机译:到目前为止,很难将模拟/混合信号系统的形式验证集成到现有的设计流程中。除了可伸缩性之外,模型的兼容性也是一个挑战。这项工作描述了如何对现有的SystemC AMS模块进行检测,以使其从数字仿真转换为符号仿真。在这里,我们将现有的具有抽象数据类型(ADT)的方法扩展为用于算术运算(数据流),以允许对控制流进行符号仿真。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号