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 条
  • [1] Symbolic Simulation of SystemC AMS Without Yet Another Compiler
    Zivkovic, Carna
    Grimm, Christoph
    PROCEEDINGS OF THE 2018 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2018,
  • [2] Compiled Symbolic Simulation for SystemC
    Herdt, Vladimir
    Le, Hoang M.
    Grosse, Daniel
    Drechsler, Rolf
    2016 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2016,
  • [3] Fast Thermal Simulation using SystemC-AMS
    Chen, Yukai
    Vinco, Sara
    Macii, Enrico
    Poncino, Massimo
    2016 INTERNATIONAL GREAT LAKES SYMPOSIUM ON VLSI (GLSVLSI), 2016, : 427 - 432
  • [4] SystemC-AMS Simulation of Conservative Behavioral Descriptions
    Vinco, Sara
    Lora, Michele
    Zwolinski, Mark
    LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, 2016, 385 : 151 - 173
  • [5] Verifying SystemC using Stateful Symbolic Simulation
    Herdt, Vladimir
    Le, Hoang M.
    Drechsler, Rolf
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [6] SystemC-AMS Simulation of a Biaxial Accelerometer based on MEMS Model Order Reduction
    Vernay, Benoit
    Krust, Arnaud
    Schropfer, Gerold
    Pecheux, Francois
    Louerat, Marie-Minerve
    2015 SYMPOSIUM ON DESIGN, TEST, INTEGRATION AND PACKAGING OF MEMS/MOEMS (DTIP), 2015,
  • [7] On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS
    Zaidi, Yaseen
    Grimm, Christoph
    Haase, Jan
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2010, (01)
  • [8] Bringing Uncertainties into System Simulation: A SystemC AMS Case Study
    Zivkovic, C.
    Grimm, Ch
    Koelsch, J.
    Short, D.
    Ferstl, M.
    Denger, D.
    Krems, D.
    Barisic, A.
    PROCEEDINGS OF THE 2020 FORUM FOR SPECIFICATION AND DESIGN LANGUAGES (FDL), 2020,
  • [9] SystemC-AMS Simulation of Energy Management of Electric Vehicles
    Baek, Donkyu
    Chen, Yukai
    Kim, Jaemin
    Chang, Naehyuck
    Macii, Enrico
    Vinco, Sara
    Poncino, M.
    2018 IEEE INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE (INTELEC), 2018,
  • [10] SySCIM: SystemC-AMS Simulation of Memristive Computation In-Memory
    Shadmehri, Seyed Hossein Hashemi
    BanaGozar, Ali
    Kamal, Mehdi
    Stuijk, Sander
    Afzali-Kusha, Ali
    Pedram, Massoud
    Corporaal, Henk
    PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 1467 - 1472
12345