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