Hardware specification using the assertion language ASTRAL