Results 41 to 50 of about 13,010 (210)
PERANCANGAN KANAL KOMUNIKASI PADA TRANSACTION LEVEL MODELING DALAM PERANCANGAN EMBEDDED SYSTEM
Jurnal Ilmu Komputer dan Informasi, 2012 Pada embedded system terdapat dua bagian penting yaitu komponen komputasi (register) dan komponen komunikasi. Komponen komunikasi menjadi perhatian penting pada mekanisme pemodelan level transaksi (Transaction Level Modeling, TLM).
Maman Abdurohman +3 more
doaj +1 more source
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
, 2017 Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have inherent probabilistic behaviors, e.g., random data and unreliable ...
Legay, Axel, Ngo, Van Chan
core +1 more source
First steps towards the certification of an ARM simulator using Compcert [PDF]
, 2011 The simulation of Systems-on-Chip (SoC) is nowadays a hot topic because, beyond providing many debugging facilities, it allows the development of dedicated software before the hardware is available. Low-consumption CPUs such as ARM play a central role in
D. August +4 more
core +4 more sources
Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation
International Journal of Reconfigurable Computing, 2008 This paper discusses a pair of synthesis algorithms that optimise a SystemC design to minimise area when targeting FPGAs. Each can significantly improve the synthesis of a high-level language construct, thus allowing a designer to concentrate more on an ...
Johan Ditmar +2 more
doaj +1 more source
Hardware modeling of GPU geometric pipeline rasterization based on UML and SystemC
Dianzi Jishu Yingyong, 2019 Architecture and algorithm determine the performance of GPU, and they need be verified as soon as possible. The paper brings forward a method of modeling based on UML(Unified Modeling Language), and describes the process of modeling GPU geometry engine ...
Chen Jia +3 more
doaj +1 more source
Automated Synthesis of SEU Tolerant Architectures from OO Descriptions [PDF]
, 2002 SEU faults are a well-known problem in aerospace environment but recently their relevance grew up also at ground level in commodity applications coupled, in this frame, with strong economic constraints in terms of costs reduction.
Chiusano, Silvia Anna +2 more
core +1 more source
Hardware-software co-simulation for medical X-ray control units [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 In this paper we present our solution to master the complex-ity of product adaption cycles of a medical X-ray controlunit. We present the real hardware and software platformand our mapping of it to a virtual X-ray control unit, im-plemented as our ...
Bruno Kleinert +3 more
doaj +1 more source
Synthesizing SystemC Code from Delay Hybrid CSP
, 2017 Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties.
A Bellen +18 more
core +1 more source
FASTCUDA: Open Source FPGA Accelerator & Hardware-Software Codesign Toolset for CUDA Kernels [PDF]
, 2012 Using FPGAs as hardware accelerators that communicate with a central CPU is becoming a common practice in the embedded design world but there is no standard methodology and toolset to facilitate this path yet.
de la Torre E.() +7 more
core +1 more source
Journal of Cardiovascular Electrophysiology, Volume 36, Issue 8, Page 1978-1986, August 2025.TYRX Pocket Health Study protocol and analysis. Patients with a previous TYRX implant returned for generator replacement. TYRX pockets had low inflammation, and device capsules were well‐healed with predominantly mature collagen. No macroscopic calcification was observed.
Francois Philippon +15 more
wiley +1 more source