# SiFive Board Model Changes

**URL:** <https://sel4.discourse.group/t/sifive-board-model-changes/414>\
**Category:** Verification\
**Created:** [September 26, 2021, 7:39pm UTC](https://sel4.discourse.group/t/sifive-board-model-changes/414 "2021-09-26T19:39:22Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![NonSecwitter](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/nonsecwitter/32/133_2.png) [@NonSecwitter](https://sel4.discourse.group/u/NonSecwitter)\
**Post date:** [September 26, 2021, 7:39pm UTC](https://sel4.discourse.group/t/sifive-board-model-changes/414/1 "2021-09-26T19:39:22Z")

</div>

What changes between the HiFive Unleashed and HiFive Unmatched would effect the verification’s validity? How intensive is it to reverify for boards that are presumably somewhat similar?

---

<div class="post-metadata">

**Author:** ![gerwin.klein](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/gerwin.klein/32/46_2.png) [@gerwin.klein](https://sel4.discourse.group/u/gerwin.klein)\
**Post date:** [September 26, 2021, 10:36pm UTC](https://sel4.discourse.group/t/sifive-board-model-changes/414/2 "2021-09-26T22:36:34Z")

</div>

Without knowing what the exact differences between the boards are, I can at least say that unless major new features like an FPU or similar are added, updating the verification to a new board can usually be done relatively quickly. It’s one of the services we offer at [Proofcraft](https://proofcraft.systems).

We have ideas on making that process simple enough so that no expert input is required any more, but that project still needs funding and some time.