A hardware description method and sematics providing a timing constrant