EXCEEDS logo
Exceeds
Marco Bartoli

PROFILE

Marco Bartoli

Worked on the antmicro/verilator repository to enhance simulation reliability and macOS compatibility. Delivered a macOS-specific AddressSanitizer memory limit configuration by leveraging system programming and memory management techniques in C++, aligning Verilator’s debugging tools with macOS expectations. Addressed simulation correctness by fixing Verilog interface properties, parameter handling, and execution flow in nested fork blocks, using test-driven development and Python scripting to validate changes and prevent regressions. These contributions improved cross-platform stability, reduced false positives in CI, and ensured robust simulation behavior, reflecting a focus on platform-specific optimization and rigorous validation across both hardware description and system-level code.

Overall Statistics

Feature vs Bugs

50%Features

Repository Contributions

4Total
Bugs
1
Commits
4
Features
1
Lines of code
313
Activity Months2

Your Network

96 people

Work History

June 2026

3 Commits

Jun 1, 2026

June 2026 monthly summary focused on Verilator simulation reliability improvements through targeted bug fixes and validation tests. Delivered three key fixes with added tests to prevent regressions, enhancing correctness and stability of Verilator simulation across core Verilog features.

March 2026

1 Commits • 1 Features

Mar 1, 2026

March 2026 — Verilator: Implemented macOS-specific AddressSanitizer memory limit configuration to improve ASan behavior on macOS. The change adjusts memory limit detection using macOS system calls, aligning ASan limits with platform expectations. Core commit: ee7ec08cf5290fb3b67730bf75ca5b2ca319c5d6 ("Add macOS support for AddressSanitizer memory limit (#7308)"). Business impact: improved cross-platform stability and performance for macOS builds, reduced false positives in CI, and accelerated debugging on macOS. Repository: antmicro/verilator.

Activity

Loading activity data...

Quality Metrics

Correctness100.0%
Maintainability80.0%
Architecture80.0%
Performance80.0%
AI Usage20.0%

Skills & Technologies

Programming Languages

C++PerlPythonVerilog

Technical Skills

C++C++ developmentPythonPython scriptingTest-driven developmentVeriloghardware description languageshardware simulationmacOS developmentmemory managementsystem programmingtest-driven development

Repositories Contributed To

1 repo

Overview of all repositories you've contributed to across your timeline

antmicro/verilator

Mar 2026 Jun 2026
2 Months active

Languages Used

PerlC++PythonVerilog

Technical Skills

macOS developmentmemory managementsystem programmingC++C++ developmentPython