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 条
  • [41] SystemC-AMS/MDVP-based modeling for the virtual prototyping of MEMS applications
    Cenni, Fabio
    Guillaume, Olivier
    Diaz-Nava, Mario
    Maehne, Torsten
    2015 SYMPOSIUM ON DESIGN, TEST, INTEGRATION AND PACKAGING OF MEMS/MOEMS (DTIP), 2015,
  • [42] The simulation semantics of SystemC
    Mueller, W
    Ruf, J
    Hoffmann, D
    Gerlach, J
    Kropf, T
    Rosenstiehl, W
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 64 - 70
  • [43] Coupling of processor simulators with a SystemC based simulation environment
    Drogeanu, N.
    Heithecker, S.
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON OPTIMIZATION OF ELECTRICAL AND ELECTRONIC EQUIPMENT, VOL IV, 2006, : 41 - 47
  • [44] Error simulation based on the SystemC design description language
    Bruschi, F
    Ferrandi, F
    Chiamenti, M
    Sciuto, D
    di Milano, P
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1135 - 1135
  • [45] SystemC AMS Power Electronic Modeling with Ideal Instantaneous Switches
    Gil, Leandro
    Radetzki, Martin
    PROCEEDINGS OF THE 2014 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2014,
  • [46] SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy
    Caluwaerts, Ken
    Galayko, Dimitri
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 123 - 128
  • [47] SystemC-AMS assisted design of an inertial navigation system
    Markert, Erik
    Dienel, Marco
    Herrmann, Goeran
    Heinkel, Ulrich
    IEEE SENSORS JOURNAL, 2007, 7 (5-6) : 770 - 777
  • [48] Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS
    Zimmermann, Thomas
    Mora, Mathias
    Steinhorst, Sebastian
    Mueller-Gritschneder, Daniel
    Jossen, Andreas
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2019, 24 (04)
  • [49] Towards Formal Validation: Symbolic Simulation of SystemC Models (Special Session on Evolving Design Languages and Methodologies)
    Radojicic, Carna
    Purusothaman, Thiyagarajan
    Grimm, Christoph
    2015 10TH IEEE INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS), 2015,
  • [50] SystemC-AMS Based virtual prototyping of Wireless Body Sensor Network Using Compressed Sensing
    Ravelomanantsoa, Andrianiaina
    Rabah, Hassan
    Rouane, Amar
    2013 25TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2013,
12345