TLL-HST: A Temporal Logic Language for Hardware Specification and Testing