节日设计和形式验证难题,包括鲜花、树叶、树枝和蜜蜂。
节日是传统,每年的假期在OneSpin难题已经成为一种传统。两年前,我们要求各地工程师解决著名的爱因斯坦的谜题使用一个正式的工具。我们收到了一些有趣的解决方案。去年,我们画一个更大的响应我们的邀请来解决“世界最难的数独游戏。“这些游戏很有趣,当然,但采取的不同的方法提交解决方案还揭示了很多关于断言和形式验证的能力和灵活性。
今年,我们邀请每个人都考虑到斐波纳契数,这构成了斐波那契序列。你可能还记得这个从数学课年前:序列始于0和1,然后每个新斐波纳契数是前面两个数字的总和:
在许多数学分支的斐波纳契数列是重要的,但我是本系列作为今年的谜题的主题主要是因为它发生在自然世界上许多地方。经常被引用的例子包括的模式在一些树枝,叶子在茎的模式,安排在某些植物的叶子或水果。有一些理想化的假设,一代又一代的蜜蜂和兔子也跟着斐波纳契数列。
而斐波纳契数列的概念已经几个世纪前在印度,他们是意大利数学家也称为命名的达芬奇的比萨。十三世纪初,他出版的书,其中包括讨论现在以他的名字命名的系列以及计算与地方利益和当前系统的数字值。他是当代Campanus诺瓦拉,欧几里得的“元素”翻译成拉丁文,第一个打印版的开创性工作。
这个假期,我们要求工程师设计一个计算斐波纳契数的数字电路。我们为你准备了样品溶液,但我们知道它可能会得到改善。数字设计很容易对权力没有目标,性能和面积。您的解决方案不仅应该是正确的,但也快速和简单。你能减少分支机构的数量在你的代码中,使用更少的盖茨,和识别冗余失败,同时改善给定基准的表现吗?除了示例解决方案,我们提供一组SystemVerilog断言你的解决方案必须满足,基准的形式覆盖属性测量旋表演,和一个公式计算设计复杂性的分数。
如果你做好了挑战的准备,请访问onespin.com/holidaypuzzle所有的细节并提交您的解决方案。我们有一些激动人心的奖励待价而沽,包括一个用于解决方案的最佳得分,将使用OneSpin脚本,自动确定,另一个用于大多数投票的解决方案。我将分享获奖者和他们的方法在后续博客明年初。
参与是午夜的最后期限(CET)周日,2019年1月13日。
我希望你最好的运气,一个很棒的假期!
|
|
|
|
|
|
|
|
|
|
留下一个回复