Codasip is a member of OpenHW. Codasip contributes to the development of standards across various techniques including formal verification. Codasip contributes supporting IP, tools, and methodologies to help the wider community benefit from its experience in the development of high-quality, standard and customizable RISC-V IP.