MEDIA ALERT: Oski Technology to Host Latest Decoding Formal Club for Formal Verification Enthusiasts