Title: ESL design and verification