search

pulp-platform / ara

The PULP Ara is a 64-bit Vector Unit, compatible with the RISC-V Vector Extension Version 1.0, working as a coprocessor to CORE-V's CVA6 core
Other
377 stars 132 forks source link

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

Open csgxiong opened 3 months ago

csgxiong commented 3 months ago

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 commented 2 months ago

Hello @csgxiong,

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

csgxiong commented 2 months ago

@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.