Doulos Ltd.: Challenges and Solutions for ESL Design and Verification