Text this: Simulácia špecifikácie digitálneho systému v jazyku HSSL