Gave a talk yesterday:
"Property Based Testing to verify a pipelined CPU design (hardware)"
at the New England Programming Languages and Systems Symposium (NEPLS),
about verifying my Fife RISC-V CPU using U.Cambridge's TestRIG (which uses Haskell's QuickCheck) and RISC-V International's RISC-V ISA Formal Specification (written in Sail)

https://nepls.org/
https://nepls.org/Events/36/

#NEPLS #FIFE #RISCV #RVI #Haskell #QuickCheck #TestRIG #PBT #Sail

We hope you have a Fun and Safe Independence Day Weekend.

Our offices will be closed Thursday and Friday July 4th and 5th.

#Revcord #IQ3 #RevShield #RevStream #RevSync #RVI #CallRecording #MultimediaLogging

For the next few months, it is important that #Bitcoin Dominance rise above 51% so as not to enter a period of linear recession.

Relative Volatility Index (#RVI) begins to trend towards 56.15% of long-term #market dominance. https://social.wubits.io/share/64888aef75ba114ed9683b28?rid=63dffbc796acc11510f0903b&utm_source=link

.@BrekerSystems joined #RISCV as a strategic member to offer their expertise in #soc #verification solutions to #RVI working groups. Visit them at #59DAC Booth 2528 where they will demo System Coherency Synthesis #TrekApp & other solutions: https://hubs.ly/Q01gMPR90

Original tweet : https://twitter.com/risc_v/status/1547644350271606792