Cycuity (also known as Tortuga Logic) is a company that provides hardware security verification technology for semiconductor and electronic systems. Its products include Radix hardware security verification tools. The company serves the semiconductor manufacturing, aerospace and defense, automotive, IoT, and data center industries.