Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts