Cloud native EDA tools & pre-optimized hardware platforms
This challenge has concluded.
Calling all the heroes who have saved the day by catching sneaky bugs using formal technologies –
The Synopsys-Intel Formal Sudoku Challenge invites you to participate in a fun formal challenge: solving Sudoku puzzles using Synopsys VC Formal formal property verification (FPV) or formal datapath validation (DPV).
This challenge, used by Emiliano Morini and his colleagues at Intel to train new formal engineers, hopes to encourage new engineers and remind veteran engineers that formal verification is fun and rewarding! Watch the video below to learn more about what they have done and the rules of the challenge.
How to participate?
August 9
Registration Opens
August 9 - September 7
Design your formal testbench with Synopsys VC Formal FPV or DPV
September 7
Sudoku puzzels are released to participants
September 30
Last day to submit your results
November 10
Winners are selected and announced!
*Note: Entrants agree to publication of their names(s)/likeness(es) if they are selected as a winner. Synopsys employees are not eligible to participate.
Best Solution using
Synopsys VC Formal DPV
Jeffrey Wang
Best Solution using
Synopsys VC Formal FPV
Ariel Ansbacher
Rookie Award
Purushothaman Palani