Article: Fibonacci And Honey Bees Have Something In Common: A Sweet Spot For Formal - FirstEDA
22978
portfolio_page-template-default,single,single-portfolio_page,postid-22978,ajax_fade,page_not_loaded,,qode-child-theme-ver-1.0.0,qode-theme-ver-14.5,qode-theme-bridge,wpb-js-composer js-comp-ver-5.7,vc_responsive

Article: Fibonacci And Honey Bees Have Something In Common: A Sweet Spot For Formal

March 28th, 2019 – By: Sergio Marchese

 

Can assertions enable engineers to design IP that is correct by construction?

 

Time flies and the OneSpin’s Holiday Puzzle tradition has reached its third year. In December 2016, OneSpin challenged engineers everywhere to solve the Einstein riddle using assertions and a formal verification tool. In December 2017, the challenge was to model the hardest Sudoku in the world using assertions and find a solution with a formal tool. In addition, participants had to prove that the solution was unique and something impossible to do with simulation.