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 条
  • [31] Symbolic Model Checking on SystemC Designs
    Chou, Chun-Nan
    Ho, Yen-Sheng
    Hsieh, Chiao
    Huang, Chung-Yang
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 327 - 333
  • [32] Symbolic scheduling of SystemC dataflow designs
    Gladigau, Jens
    Haubelt, Christian
    Teich, Jürgen
    Lecture Notes in Electrical Engineering, 2009, 36 LNEE : 183 - 199
  • [33] SystemC based Simulation of AUTOSAR Software Components
    Shatat, Tariq S.
    Abdullah, Bassem A.
    Salem, Ashraf
    2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 105 - 110
  • [34] Modeling, Design and Verification Platform using SystemC AMS
    Li, Yao
    Iskander, Ramy
    Louerat, Marie-Minerve
    PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2014), 2015, : 39 - 46
  • [35] SystemC-AMS requirements, design objectives and rationale
    Vachoux, A
    Grimm, C
    Einwich, K
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 388 - 393
  • [36] Bluetooth Transceiver Modeling Using SystemC-AMS
    Li, Fangyan
    Butaud, Remi
    Dekneuvel, Eric
    Jacquemod, Gilles
    2013 9TH CONFERENCE ON PH. D. RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIME 2013), 2013, : 33 - 36
  • [37] Analog and mixed signal modelling with SystemC-AMS
    Vachoux, A
    Grimm, C
    Einwich, K
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL III: GENERAL & NONLINEAR CIRCUITS AND SYSTEMS, 2003, : 914 - 917
  • [38] Statistical Modeling with SystemC-AMS for Automotive Systems
    Markwirth, Thomas
    Haase, Joachim
    Einwich, Karsten
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 245 - 246
  • [39] MODELLING CONTROL SYSTEMS IN SYSTEMC AMS - BENEFITS AND LIMITATIONS
    Hartmann, Philipp A.
    Reinkemeier, Philipp
    Rettberg, Achim
    Nebel, Wolfgang
    IEEE INTERNATIONAL SOC CONFERENCE, PROCEEDINGS, 2009, : 263 - +
  • [40] SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties
    Chen, Yukai
    Vinco, Sara
    Macii, Enrico
    Poncino, Massimo
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2019, 24 (01)
12345