Lightning Talk Session: Property-Based Testing of Hardware

Please log in to watch this conference skillscast.

In this talk, you will explore an example of using property-based tests in F# to detect bit errors caused by "sticky-bits" in hardware. You will learn more specific types which will make the nature of the hardware error more apparent. With these more targeted types, you will then discover how custom shrink operations can quickly identify the exact error. With the test framework in place, you will learn how to use it to identify other non-sticky-bit hardware errors.

Dale used to do chip design, including an ECC SDRAM controller, where he encountered sticky-bit issues in real life. He then worked as a Linux kernel programmer and often lamented the difficulty in testing kernel code. As Dale has moved up the abstraction ladder and now works primarily in FP, he thought it would be nice to blend all of these together. Hopefully it might inspire you and more to leverage higher-level techniques when dealing with low-level projects.

YOU MAY ALSO LIKE:

• Clash: Haskell for FPGA Design: It's easy as 1-2-3...419,200 (SkillsCast recorded in December 2022)
• How to do Property-based Testing Shrinkers Right (SkillsCast recorded in December 2022)