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
- Principal Formal Verification Engineer @ (May 2026 - Present)
- Senior Formal Verification Engineer @ (July 2024 - February 2026)
- Staff Engineer @ (October 2018 - June 2023)
- Senior Engineer @ (January 2015 - September 2018)
- Engineer @ (July 2014 - December 2014)
- Design Verification Engineer @ (February 2010 - June 2014)
Imre Mados Education
- Politehnica University Timisoara
Master of Science (MSc) (Electrical, Electronics and Communications Engineering)
Imre Mados Skills
- AMBA
- ARM Architecture
- ASIC
- Analytical Skills
- Application-Specific Integrated Circuits (ASIC)
- Assertion Based Verification
- Assertions
- C
- C++
- ClearCase
- Communication
- Computer System Validation
- Debugging
- Digital Designs
- Digital Logic
- EDA
- Electrical Engineering
- Embedded C
- Embedded Software
- Embedded Systems
- FPGA
- Formal Methods
- Formal Verification
- Functional Verification
- GNU Make
- Git
- Hardware Architecture
- Hardware Verification
- Integrated Circuit Design
- Interpersonal Communication
- Interpersonal Skills
- JasperGold
- Linux
- Logic Design
- Logical Reasoning
- ModelSim
- NCSim
- Perl
- Problem Solving
- Questa Formal
- QuestaSim
- RISC-V
- RTL Verification
- Reasoning Skills
- SVA
- Scripting
- SoC
- Specman
- Synopsys VC Formal
- SystemC
- SystemVerilog
- SystemVerilog Assertions
- TCL
- Telecommunications Engineering
- Test Planning
- Testing
- Tortoise SVN
- UVM
- Universal Verification Methodology (UVM)
- VHDL
- Verilog
- Very-Large-Scale Integration (VLSI)
- eRM
- Questa
- 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 and Arm. Imre Mados holds a Master of Science (MSc) in Electrical, Electronics and Communications Engineering @ Politehnica University Timisoara. With a robust skill set that includes AMBA, ARM Architecture, ASIC, Analytical Skills, Application-Specific Integrated Circuits (ASIC) and more.
Looking for a different Imre Mados?
Find contact details for 700 million professionals.
Top Codasip Employees
Carl Shaw
VP Software and Security Engineering
Bristol, England, GB
Roland Manger
Board Member
Germany
Roddy Urquhart
Technical and Competitive Marketing
Aberdeenshire, Aberdeenshire, United Kingdom
Edwin Loverseed
Director of Chiplet Engineering
Winchester, GB
Emmanuel Till-Vattier
VP of Sales EMEA
Plymouth, England, GB
Keith Graham
Vice President of Business Development
Seattle, WA, US
Vladimír Koutný
Chief Financial Officer
South Moravian Region, Czechia
Dave Higham
VP Functional Safety
United Kingdom
Premek Vala
IT Manager
South Moravian Region, Czechia
Kalvin Williams
IP Engineering Director
Thatcham, GB
Jamie Broome
Chief Product Officer
Guildford, GB
Edward Butler
VP of Software Engineering
London, GB
Brett Cline
Chief Commercial Officer (CCO)
Boston, MA, US
Kateřina Smrčková
Chief People Officer
Brno, South Moravian Region, CZ
Zdeněk Přikryl
CTO
South Moravian Region, Czechia
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co