Library Rules

library_001

This rule checks the indent of the library keyword. Indenting helps in comprehending the code.

Violation

library ieee;
   library fifo_dsn;

Fix

library ieee;
library fifo_dsn;

library_002

This rule checks for excessive spaces after the library keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

library    ieee;

Fix

library ieee;

library_003

This rule checks for blank lines or comments above the library keyword.

Refer to Configuring Previous Line Rules for more information.

There is an additional allow_library_clause option which can be set. Refer to section Reporting Single Rule Configuration for details on finding configuration options for individual rules.

allow_library_clause

When set to yes, it allows consecutive library clauses.

Violation

library ieee;
  use ieee.std_logic_1164.all;
library top_dsn;
library fifo_dsn;

Fix

library ieee;
  use ieee.std_logic_1164.all;

library top_dsn;
library fifo_dsn;

library_004

This rule checks the library keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

Library ieee;

LIBRARY fifo_dsn;

Fix

library ieee;

library fifo_dsn;

library_005

This rule checks the use keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

library ieee;
  USE ieee.std_logic_1164.all;
  Use ieee.std_logic_unsigned.all;

Fix

library ieee;
  use ieee.std_logic_1164.all;
  use ieee.std_logic_unsigned.all;

library_006

This rule checks for excessive spaces after the use keyword.

Refer to Configuring Whitespace Rules for options on changing the number of whitespaces..

Violation

library ieee;
  use    ieee.std_logic_1164.all;
  use   ieee.std_logic_unsigned.all;

Fix

library ieee;
  use ieee.std_logic_1164.all;
  use ieee.std_logic_unsigned.all;

library_007

This rule checks for blank lines or comments above the use declaration.

Refer to Configuring Previous Line Rules for more information.

The default style is no_blank_line.

Violation

library ieee;

  use ieee.std_logic_1164.all;

  use ieee.std_logic_unsigned.all;

Fix

library ieee;
  use ieee.std_logic_1164.all;
  use ieee.std_logic_unsigned.all;

library_008

This rule checks the indent of the use keyword.

Refer to Configuring Use Clause Indenting for information on how to change the indenting of use clauses.

Violation

library ieee;
use ieee.std_logic_1164.all;
     use ieee.std_logic_unsigned.all;

Fix

library ieee;
  use ieee.std_logic_1164.all;
  use ieee.std_logic_unsigned.all;

library_009

This rule checks alignment of comments above library use statements.

Violation

library ieee;
-- Use standard logic library
  use ieee.std_logic_1164.all;

Fix

library ieee;
  -- Use standard logic library
  use ieee.std_logic_1164.all;

library_010

This rule checks the library keyword is on its own line.

Violation

context c1 is library ieee; use ieee.std_logic_1164.all; end context c1;

Fix

context c1 is
  library ieee; use ieee.std_logic_1164.all; end context c1;

library_011

This rule checks the use keyword is on its own line.

Violation

context c1 is library ieee; use ieee.std_logic_1164.all; end context c1;

Fix

context c1 is library ieee;
    use ieee.std_logic_1164.all; end context c1;

library_012

This rule checks for libraries that have been restricted by the user.

Refer to Configuring Library and Package Name Restriction Rules for configuration options.

Note

This rule is disabled by default.

Violation

library bad_lib;

library_500

This rule checks the logical_name in a library_clause has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

library IEEE;

library FIFO_dsn;

Fix

library ieee;

library fifo_dsn;

library_600

This rule has been moved to library_500.