AADD-Based Symbolic Simulation of SystemC AMS

被引：0
|
作者：
Zivkovic, Carna [1 ]
Grimm, Christoph [1 ]
机构：
[1] TU Kaiserslautern, Kaiserslautern, Germany
来源：
LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, FDL 2018 | 2020年 / 611卷
关键词：
D O I：
10.1007/978-3-030-31585-6_8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：135 / 160
页数：26
相关论文
共 50 条
  • [21] Combining symbolic simulation and interval arithmetic for the verification of AMS designs
    Zaki, Mohamed H.
    Al-Sammane, Ghiath
    Tahar, Sofiene
    Bois, Guy
    FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 207 - +
  • [22] Is SystemC-AMS an Appropriate "Promoter" for the Modeling and Simulation of Bio-compatible Systems ?
    Pecheux, Francois
    Madec, Morgan
    Lallement, Christophe
    2010 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, 2010, : 1791 - 1794
  • [23] Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS
    Chen, Yukai
    Vinco, Sara
    Pagliari, Daniele Jahier
    Montuschi, Paolo
    Macii, Enrico
    Poncino, Massimo
    IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING, 2020, 5 (04): : 552 - 567
  • [24] SystemC-AMS modeling and simulation of digitally controlled DC-DC converters
    Agostinelli, Matteo
    Priewasser, Robert
    Huemer, Mario
    Marsili, Stefano
    Straeussnigg, Dietmar
    2010 TWENTY-FIFTH ANNUAL IEEE APPLIED POWER ELECTRONICS CONFERENCE AND EXPOSITION (APEC), 2010, : 170 - 175
  • [25] A SystemC-AMS Simulation Environment for the Evaluation of Energy Harvesting Wireless Sensor Networks
    Ormann, Leander B. H.
    Glatz, Philipp M.
    Steger, Christian
    Weiss, Reinhold
    PROCEEDINGS OF THE 2011 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS, 2011, : 247 - 252
  • [26] Conservative Behavioural Modelling in SystemC-AMS
    Vinco, Sara
    Lora, Michele
    Zwolinski, Mark
    2015 18TH FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2015, : 65 - 72
  • [27] Introduction to the SystemC AMS Extension standard Tutorial
    Einwich, Karsten
    2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 6 - 8
  • [28] Supporting Dimensional Analysis in SystemC-AMS
    Maehne, Torsten
    Vachoux, Alain
    BMAS 2009: PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL BEHAVIORAL MODELING AND SIMULATION WORKSHOP, 2009, : 108 - 113
  • [29] Fast Optical Simulation From A Reduced Set Of Impulse Responses Using SystemC-AMS
    Teysseyre, Fabien
    Navarro, David
    O'Connor, Ian
    Cascio, Francesco
    Cenni, Fabio
    Guillaume, Olivier
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 405 - 409
  • [30] Comparative Analysis and Optimization of the SystemC-AMS Analog Simulation Efficiency of Resistive Crossbar Arrays
    Rizzi, T.
    Quesada, E. Perez-Bosch
    Wenger, Ch
    Zambelli, C.
    Bertozzi, D.
    2021 XXXVI CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS (DCIS21), 2021, : 183 - 188
12345