Sasa Stamenkovic

About Sasa Stamenkovic

Since graduating from college early 2010, I have dedicated my career to the field of formal verification. This discipline quickly became my passion, driving me to continuously learn, adopt, and practice new methodologies and techniques.With extensive experience in verifying complex hardware designs, I have developed a keen eye for detail and a deep understanding of formal methods. My journey has been fueled by a desire to ensure the highest levels of accuracy and reliability in hardware systems.Throughout my career, I have had the opportunity to work on cutting-edge projects, collaborate with talented professionals, and contribute to the advancement of formal verification practices. I thrive in dynamic environments where challenges are met with innovative solutions and a commitment to excellence.I am always eager to expand my knowledge and stay at the forefront of industry trends, actively seeking opportunities to learn and grow within the field. Formal verification is not just my job; it is my lifelong passion and dedication.

Experience

1. Principal Engineer Formal Verification

   Pure Silicon Solutions

   Jan 2025 — Present · Fremont, CA, US

Education

• Univerzitet u Novom Sadu

  MSc, Engineering, Semiconductors, Automation

  2005 — 2010

Skills

• Asic
• Application Engineers
• Debugging
• Semiconductors
• Automation
• Linux
• Tcl
• Functional Verification
• Systemverilog
• Formal Verification
• Microsoft Office
• Engineering
• Integrated Circuit Design
• Field Work
• C
• Customer Support
• Vhdl
• C++
• Verilog
• Soc
• Equivalence Checking
• Mantis
• Lightroom
• Embedded Systems
• Eda