Worked on the antmicro/verilator repository to enhance the robustness of array initialization, focusing on complex scenarios involving recursive default assignments in nested and multi-dimensional arrays. Addressed a longstanding bug by refining the logic in C++ to ensure that default values propagate correctly across subarrays, thereby improving simulation startup reliability for designs relying on intricate array structures. Developed and integrated comprehensive Python-based tests to validate these changes, expanding coverage and reducing the risk of edge-case failures. Maintained clear traceability through detailed commit messages and issue references, supporting collaborative development and ongoing validation of array handling within the Verilator codebase.