Assertion: alias | /r/HasProperty | downto
Facets:
Source sentences:
text: alias FirstNibble : Bit_Vector(0 to 3) is DataBus(31 downto 28);