Attribute Rules¶
attribute_001¶
This rule checks the indent of attribute declarations.
Violation
architecture RTL of FIFO is
attribute ram_init_file : string;
attribute ram_init_file of ram_block :
signal is "contents.mif";
begin
Fix
architecture RTL of FIFO is
attribute ram_init_file : string;
attribute ram_init_file of ram_block :
signal is "contents.mif";
begin
attribute_002¶
This rule checks the attribute keyword has proper case.
Note
The default is lowercase.
Refer to the section Configuring Uppercase and Lowercase Rules for information on changing the default case.
Violation
architecture RTL of FIFO is
ATTRIBUTE ram_init_file : string;
Attribute ram_init_file of ram_block :
signal is "contents.mif";
begin
Fix
architecture RTL of FIFO is
attribute ram_init_file : string;
attribute ram_init_file of ram_block :
signal is "contents.mif";
begin
attribute_003¶
This rule checks for a single space after the attribute keyword.
Violation
attribute ram_init_file : string;
Fix
attribute ram_init_file : string;