Saša Stamenković

(all posts)
Saša Stamenković is a senior field application engineer for OneSpin Solutions in Silicon Valley. He began his career as a co-founder of Methods2Business in Serbia, where he gained his first exposure to OneSpin’s formal verification tools through the Spinnaker Certified Service Partners Program. Stamenković joined OneSpin's application engineering team in 2014. He holds Bachelor of Science and Master of Science in Automation Control and Systems Engineering from the Faculty of Technical Science of the University of Novi Sad.

Author's Latest Posts

IP Integration Verification At DVClub Europe

By Saša Stamenković - 30 Jul, 2020 - Comments: 0

Most people involved in pre-silicon verification of digital designs and electronic design automation (EDA) know the folks at Test and Verification Solutions (T&VS – now acquired by Tessolve to offer a full VLSI and test service). Among other things, they organize the Verification Futures (VF) conference in the UK and the DVClub Europe meetings. These are highly technical events, with plen... » read more

Using Formal To Solve The World’s Hardest Sudoku

By Saša Stamenković - 21 Dec, 2017 - Comments: 0

It’s no secret that the OneSpin team loves contests. Last year around this time, we set a challenge to engineers everywhere: solve the famous Einstein’s Riddle using a formal tool. After an enthusiastic response, we decided to make the holiday puzzle an annual event, with a different subject area each year. Our engineering team was challenged to come up with a new topic, and my idea, whi... » read more