Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications [PDF]
Sensors, 2015 The complexity of hardware designs is still increasing according to Moore’s law. With embedded systems being more and more intertwined and working together not only with each other, but also with their environments as cyber physical systems (CPSs), more ...
Jannis Stoppe, Rolf Drechsler
exaly +4 more sources
Modeling Algorithms in SystemC and ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of ...
John W. O'Leary, David M. Russinoff
doaj +4 more sources
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking [PDF]
, 2015 Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems.
Legay, Axel, Ngo, Van Chan
core +6 more sources
FangTianSim: High-Level Cycle-Accurate Resistive Random-Access Memory-Based Multi-Core Spiking Neural Network Processor Simulator [PDF]
Frontiers in Neuroscience, 2022 Realization of spiking neural network (SNN) hardware with high energy efficiency and high integration may provide a promising solution to data processing challenges in future internet of things (IoT) and artificial intelligence (AI).
Jinsong Wei +15 more
doaj +2 more sources
Modeling and Implementation of a Power Estimation Methodology for SystemC [PDF]
International Journal of Reconfigurable Computing, 2012 This work describes a methodology to model power consumption of logic modules. A detailed mathematical model is presented and incorporated in a tool for translation of models written in VHDL to SystemC. The functionality for implicit power monitoring and
Matthias Kuehnle +3 more
doaj +2 more sources
An ASCON AOP-SystemC Environment for Security Fault Analysis [PDF]
SymmetryHassen Mestiri
exaly +2 more sources
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox [PDF]
Leibniz Transactions on Embedded Systems, 2014 SystemC/TLM models, which are C++ programs, allow the simulation of embedded software before hardware low-level descriptions are available and are used as golden models for hardware verification. The verification of the SystemC/TLM models is an important
Helmstetter, Claude
doaj +1 more source
Designing Electronic Systems Using SystemC and SystemC–AMS
Российский технологический журнал, 2020 Current trends in the design of electronic systems is the use of embedded systems based on systems on a chip (System-on-Chip (SoC)) or (VLSI SoC). The paper discusses the design features of electronic systems on a chip using the SystemC design and ...
V. A. Alekhin
doaj +1 more source
Modeling Power Consumption and Temperature in TLM Models [PDF]
Leibniz Transactions on Embedded Systems, 2016 Many techniques and tools exist to estimate the power consumption and the temperature map of a chip. These tools help the hardware designers develop power efficient chips in the presence of temperature constraints.
Moy, Matthieu +3 more
doaj +1 more source
Top down design of UHF RFID tag based on SystemC
Dianzi Jishu Yingyong, 2021 With the development of science and technology, the design of integrated circuit becomes more and more complex.In the design process, the division of hardware and software also produces more choices.
Qi Wanqing, Bu Gang, Li Shuxuan
doaj +1 more source