attribute of a record member

[daltonj]

I am trying to set an attribute for safe state machine encoding in Synplify.
I have a defined all my registers in a record called "registers" and then two signals of type register as shown below.

signal r, rin : registers;

I added the safe encoding attribute with the following code.

attribute syn_encoding: string;
attribute syn_encoding of r.sweep_record_sm : signal is "safe";

@E: CD128 :"\path\to\file:277:29:277:29|Expecting : before class of object(s)

Line 277:29 is just before the "r" in r.sweep_record_sm

Does anyone know why I am getting this error?

 

[Rob Gaddi]

On 8/3/19 9:26 AM, daltonj wrote:

I am trying to set an attribute for safe state machine encoding in Synplify.
I have a defined all my registers in a record called "registers" and then two signals of type register as shown below.

signal r, rin : registers;

I added the safe encoding attribute with the following code.

attribute syn_encoding: string;
attribute syn_encoding of r.sweep_record_sm : signal is "safe";

@E: CD128 :"\path\to\file:277:29:277:29|Expecting : before class of object(s)

Line 277:29 is just before the "r" in r.sweep_record_sm

Does anyone know why I am getting this error?

I don't believe you can apply an attribute to a member of a record, only to the
entire record.


--
Rob Gaddi, Highland Technology -- www.highlandtechnology.com
Email address domain is currently out of order. See above to fix.