Certified Software for Designing Asynchronous Circuits