ID:12242 One Time Programmable (OTP) entity is not supported by formal verification

CAUSE: You compiled a design that contains an OTP entity which is not supported by the EDA formal verification tool.

ACTION: Turn off formal verification if you want to use OTP entity in your design.