Non-synthesizable statements must not be used in synthesis files. Usage of the following statements is checked by this rule:
accessafterdisconnectfilewaitfile used within function is allowed.
process is begin z <= a nor b after 10 ns; -- Noncompliant: 'after' is a non-synthesizable statement end process;