close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

The Fibonacci Calculator

By Sergio Marchese, Semiconductor Engineering

The holiday season is all about traditions, and the annual holiday puzzle has become a tradition here at OneSpin. Two years ago, we challenged engineers everywhere to solve the famous Einstein’s Riddle using a formal tool. We received some interesting solutions. Last year, we drew an even bigger response to our invitation to tackle the “World’s Hardest Sudoku.” These puzzles are fun, of course, but the different approaches taken by those submitting solutions also reveal a lot about the power and flexibility of assertions and formal verification.


Semiconductor Engineering logo

This year, we invite everyone to consider the Fibonacci numbers, which make up the Fibonacci sequence. You probably remember this from a math class years ago: the sequence starts with 0 and 1, and then each new Fibonacci number is the sum of the previous two numbers:

Fibonacci numbers are important in numerous branches of mathematics, but I was drawn to this series as a topic for this year’s puzzle mostly because it occurs in many places in the natural world. Commonly cited examples include the pattern of branches on some trees, the pattern of leaves on stems, and the arrangement of leaves or fruit on certain plants. With some idealized assumptions, generations of honeybees and rabbits may also follow the Fibonacci series.


Related Links