vhdl_reference_93:assertion