Describir: ESL design and verification