Conformal LEC Error: Error: RTL1.13: Mismatched enumeration types are in the assignment

[csgxiong]

Hi , @mp-17 ：
When using Conformal check flow on ARA project, I found some errors:
// Error: RTL1.13: Mismatched enumeration types are in the assignment
// Error: SV1.6: Missing argument list for function call.
Lint will consider this to be a warning, but LEC treats this as an Error.
So Any ideas to fix this ?

Thanks.
B.R.

[mp-17]

Hello @csgxiong,

Thanks for reporting. Do you have a pointer to where this happens in the RTL code?

[csgxiong]

@mp-17
Here is an example:
ara_sequencer.sv:418 will cause the error:Error: SV1.6: Missing argument list for function call.

Thank you for your reply.