This rule checks that each process is identified by begin and end labels. Set mandatoryEndLabel to
false to not make end labels mandatory.
It also checks that end label (when present) matches its begin label.
process (s) is -- Noncompliant: No begin and end labels begin ... end process; MyLabel : process (s) is begin ... end process; -- Noncompliant: No end label MyLabel : process (s) is begin ... end process MyOtherLabel; -- Noncompliant: End label does not match begin label
blabla : process (s) is begin ... end process blabla; MyLabel : process (s) is begin ... end process MyLabel; MyOtherLabel : process (s) is begin ... end process MyOtherLabel;