The Semantics of Behavioral VHDL'93 Descriptions