V2Va: An Efficient Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation

Y Shao, C Wang, J Huang, W Lu, Z Gu… - 2023 IEEE Asia …, 2023 - ieeexplore.ieee.org
This paper introduces a streamlined Verilog-to-Verilog-A (V2Va) translation tool that
automates the conversion of Verilog designs into Verilog-A, enabling concurrent simulation …

V2Va+: An Efficient SystemVerilog & Verilog-to-Verilog-A Translator for Accelerated Mixed-Signal Simulation

C Wang, Y Shao, J Huang, W Lu, Z Gu… - IEEE Open Journal …, 2024 - ieeexplore.ieee.org
This paper introduces a streamlined SystemVerilog & Verilog-to-Verilog-A (V2Va+)
translation tool that automates the conversion of synthesizable SystemVerilog and Verilog …

Распознавание логических вентилей в плоской транзисторной схеме

ДИ Черемисинов, ЛД Черемисинова - Информатика, 2021 - inf.grid.by
Аннотация Ц е л и. С ростом трудоемкости верификации и моделирования
современных СБИС, содержащих сотни миллионов транзисторов, основными …

A scalable modeling and simulation environment for chemical gas emergencies

MG Seok, TG Kim, C Choi… - Computing in Science & …, 2016 - ieeexplore.ieee.org
To reflect an evacuation process using a conventional agent-based approach to model
human movement under chemical gas exposure, a scalable and hybrid agent-based …

An hla-based formal co-simulation approach for rapid prototyping of heterogeneous mixed-signal socs

MG Seok, TG Kim, D Park - IEICE Transactions on Fundamentals of …, 2017 - search.ieice.org
The rapid prototyping of a mixed-signal system-on-chip (SoC) has been enabled by reusing
predesigned intellectual properties (IPs) and by integrating newly designed IP into the top …

Metamorphic Edge Processor Simulation Framework Using Flexible Runtime Partial Replacement of Software-Embedded Verilog RTL Models

J Kwon, S Oh, D Park - 2021 IEEE International Symposium on …, 2021 - ieeexplore.ieee.org
Iterative register-transfer level (RTL) simulation is essential for the edge processor design,
but the RTL simulation speed is significantly slower in a system where various RTL models …

Канонизация графов при декомпиляции транзисторных схем

ДИ Черемисинов, ЛД Черемисинова - Информатика, 2022 - inf.grid.by
Аннотация Цели. Разрабатываются средства распознавания (экстракции)
высокоуровневой структуры в транзисторной схеме, которые позволяют получить …

[HTML][HTML] Logical gates recognition in a flat transistor circuit

DI Cheremisinov, LD Cheremisinova - Informatics, 2021 - inf.grid.by
Logical gates recognition in a flat transistor circuit | Cheremisinov | Informatics Informatics
Informatika eng | рус User ISSN 1816-0301 (Print) ISSN 2617-6963 (Online) Preview User …

Verilog HDL using LTE Implementation MAP Algorithm

TR Krishna, TK Murthy, NV Sarode… - … Journal of Innovative …, 2022 - acspublisher.com
In many communication systems, turbo coding Techniques for Encoding and Decoding are
employed to repair errors. As compared to other error correction codes, turbo codes provide …

[PDF][PDF] ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ

ДИ Черемисинов, ЛД Черемисинова - ИНФОРМАТИКА, 2021 - inf.grid.by
Аннотация Цели. С ростом трудоемкости верификации и моделирования современных
СБИС, содержащих сотни миллионов транзисторов, основными инструментами …