Conditional Waveforms Rules

conditional_waveforms_001

phase_1 error structure

This rule checks for code after the else keyword.

Note

There is a configuration option allow_single_line which allows single line concurrent statements.

allow_single_line set to no (Default)

Violation

wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else '1' when underflow = '1' else sig_a;

Fix

wr_en <= '0' when overflow = '0' else
         '1';
wr_en <= '0' when overflow = '0' else
         '1' when underflow = '1' else
         sig_a;

allow_single_line set to yes

Violation

wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else '1' when underflow = '1' else sig_a;

Fix

wr_en <= '0' when overflow = '0' else '1';
wr_en <= '0' when overflow = '0' else
         '1' when underflow = '1' else
         sig_a;

conditional_waveforms_100

phase_2 error whitespace

This rule checks for a single space before the when keyword.

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

Violation

wr_en <= '0'when (rd_en = '0') else '1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';

conditional_waveforms_101

phase_2 error whitespace

This rule checks for a single space after the when keyword.

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

Violation

wr_en <= '0' when(rd_en = '0') else '1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';

conditional_waveforms_102

phase_2 error whitespace

This rule checks for a single space before the else keyword.

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

Violation

wr_en <= '0' when (rd_en = '0')else '1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';

conditional_waveforms_103

phase_2 error whitespace

This rule checks for a single space after the else keyword.

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

Violation

wr_en <= '0' when (rd_en = '0') else'1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';

conditional_waveforms_500

phase_6 error case case_keyword

This rule checks the when keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

wr_en <= '0' WHEN (rd_en = '0') else '1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';

conditional_waveforms_501

phase_6 error case case_keyword

This rule checks the else keyword has proper case.

Refer to Configuring Uppercase and Lowercase Rules for more information.

Violation

wr_en <= '0' when (rd_en = '0') ELSE '1';

Fix

wr_en <= '0' when (rd_en = '0') else '1';