Antoine Madec

Director - Silicon Verification

Rennes, Brittany, France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Antoine Madec is a silicon verification leader with 10+ years of experience advancing ASIC and emulation flows across startups and established vendors, currently directing Silicon Verification at Axelera AI from Rennes, France. He combines hands-on expertise building UVM-based verification environments, emulation bring-up (Palladium/Z1, Veloce), and performance/regression automation with people leadership—having led teams of 11 and managed hiring and training. His background spans protocol and memory controller verification, security-focused top-level checks (ECC/EDC, ASIL), and FPGA bitstream tooling, reflecting a pragmatic blend of verification, software tooling, and system integration. An active contributor to developer tools, he has fixed bugs and added features to a popular Vim multiple-cursors plugin, showing curiosity for clean code and developer ergonomics beyond hardware. He routinely bridges customer-facing roles and R&D, making him effective at translating complex verification needs into repeatable, production-grade flows.
code10 years of coding experience
job13 years of employment as a software developer
bookEngineer’s Degree, Electrical and Electronics Engineering, Engineer’s Degree, Electrical and Electronics Engineering at ENSEIRB-MATMECA - Bordeaux INP
bookMaster’s Degree, Electrical and Electronics Engineering, Master’s Degree, Electrical and Electronics Engineering at Illinois Institute of Technology
languagesEnglish, French, German
github-logo-circle

Github Skills (3)

debug10
vimscript10
testing10

Programming languages (17)

C++RustCVim SnippetJanetGoJupyter NotebookTypeScript

Github contributions (5)

github-logo-circle
terryma/vim-multiple-cursors

Oct 2018 - Jul 2020

True Sublime Text style multiple selections for Vim
Role in this project:
userFull-stack Developer
Contributions:13 commits, 28 PRs, 23 pushes in 1 year 9 months
Contributions summary:Antoine contributed to the Vim plugin by fixing bugs and implementing new features. They addressed issues related to cursor updates, deletion at the end of lines, and insert mapping behaviors. Furthermore, the user added support for new normal mode commands and refined insert mapping functionality, including handling multi-character mappings and expression mappings. The contributions also involved writing and updating tests.
vimsublimetext-styleselectionssublime-text
antoinemadec/test

Jun 2017 - Aug 2024

Small tests and tutorials.
Contributions:2 PRs, 203 pushes, 1 branch in 7 years 3 months
testing
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Antoine Madec - Director - Silicon Verification