Pricing
Industry standard language support - SV, VHDL, SVA
All our formal verification tools and verification IP.Â
Unlimited number of users/processes per node. (Up to 32 CPUs per node.)
Not time limited, use in your continuous integration systems.
Email or Video call support with our technical team.
*FTE = Full Time Engineer
For an evaluation license, or to discuss your requirements further please contact us.