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;