vhdl_reference_93:concurrent_assertion