Imre Mados Email
Principal Formal Verification Engineer @ Codasip
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Imre Mados Location
- Budapest, HU
Imre Mados Work
- 2026 -now Principal Formal Verification Engineer @
- 2024 -2026 Senior Formal Verification Engineer @
- 2018 -2023 Staff Engineer @
- 2015 -2018 Senior Engineer @
- 2014 -2014 Engineer @
- 2010 -2014 Design Verification Engineer @
Imre Mados Education
- Universitatea Politehnica din Timişoara
Master of Science (MSc) (Electrical, Electronics and Communications Engineering)
Imre Mados Skills
- Functional Verification
- Specman
- SystemVerilog
- NCSim
- ModelSim
- ASIC
- FPGA
- Verilog
- VHDL
- C++
- TCL
- ClearCase
- SoC
- Integrated Circuit Design
- SystemC
- eRM
- GNU Make
- Tortoise SVN
- Debugging
- EDA
- C
- UVM
- Questa
- Universal Verification Methodology (UVM)
- Application Specific Integrated Circuits Asic
- Universal Verification Methodology Uvm
- Universal Verification Methodology
- Application Specific Integrated Circuits
Imre Mados Summary
- Imre Mados, based in Budapest, HU, is currently a Principal Formal Verification Engineer at Codasip. Imre Mados brings experience from previous roles at Codasip, Arm and ARM. Imre Mados holds a Master of Science (MSc) in Electrical, Electronics and Communications Engineering @ Universitatea Politehnica din Timişoara. With a robust skill set that includes Functional Verification, Specman, SystemVerilog, NCSim, ModelSim and more.
Looking for a different Imre Mados?
Find contact details for 700 million professionals.
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co