Pragma Rules

pragma_300

This rule checks the indent of pragmas.

Refer to Configuring Pragmas for information on how to configure detecting of pragmas.

Violation

architecture rtl of fifo is

-- synthesis translate_off
  signal wr_en : std_logic;
  signal rd_en : std_Logic;
-- synthesis translate_on

begin

Fix

architecture rtl of fifo is

  -- synthesis translate_off
  signal wr_en : std_logic;
  signal rd_en : std_Logic;
  -- synthesis translate_on

begin

pragma_400

This rule checks for blank lines or comments above opening pragmas.

Refer to Configuring Previous Line Rules for more information.

Refer to Configuring Pragmas for information on how to configure detecting of pragmas.

The default style is no_code.

Violation

end component;
-- synthesis translate_on

Fix

end component;

-- synthesis translate_on

pragma_401

This rule checks for a blank line below opening pragmas.

Refer to Configuring Blank Lines for more information.

Refer to Configuring Pragmas for information on how to configure detecting of pragmas.

The default style is no_blank_line.

Violation

-- synthesis translate_on

signal rd_en : std_logic;

Fix

-- synthesis translate_on
signal rd_en : std_logic;

pragma_402

This rule checks for blank lines or comments above closing pragmas.

Refer to Configuring Previous Line Rules for more information.

Refer to Configuring Pragmas for information on how to configure detecting of pragmas.

The default style is no_blank_line.

Violation

end component;

-- synthesis translate_off

Fix

end component;
-- synthesis translate_off

pragma_403

This rule checks for a blank line below closing pragmas.

Refer to Configuring Blank Lines for more information.

Refer to Configuring Pragmas for information on how to configure detecting of pragmas.

The default style is require_blank_line.

Violation

-- synthesis translate_off
signal rd_en : std_logic;

Fix

-- synthesis translate_off

signal rd_en : std_logic;