A BFS-Based DEVS Simulation Kernel for HDL-Compatible Simulation
The Discrete Event System Specification (DEVS) formalism provides a mathematical foundation for modeling hierarchical discrete-event systems. However, the Depth-First Search (DFS) scheduling used in the classical DEVS abstract simulator conflicts with the concurrency semantics of Hardware Description Language (HDL) simulators such as Verilog or VHDL. This mismatch induces timing distortions, including pipeline skew and zero-time feedback loops. To address these limitations, this study proposes a new DEVS simulation kernel that adopts Breadth-First Search (BFS) scheduling, integrating the delta-round concept. This approach employs an event-parking mechanism that separates event computation from application, structurally aligning with HDL’s Active–NBA–Reactive phases and enabling semantically simultaneous updates without introducing additional ε-time. Case studies demonstrate that the proposed BFS-based DEVS kernel eliminates timing discrepancies in pipeline and feedback-loop structures and establishes a formal foundation for semantic alignment between DEVS and HDL simulators.
Authors
- Bo Seung Kwon
- Jong Sik Lee
- Young Shin Han (ORCID: https://orcid.org/0000-0003-2966-2684)
Institutions
- Inha University (KR)
Publication Details
- Journal
- Electronics
- Published
- 2025-12-23
- DOI
- https://doi.org/10.3390/electronics15010048
- Primary Topic
- Simulation Techniques and Applications
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Research Foundation
- National Research Foundation of Korea
- Ministry of Science and ICT, South Korea