Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company leveraging formal technologies to deliver high value/high ROI solutions for the design and verification of electronic systems and semiconductors. The company’s production-proven formal verification solutions have been used on over 150 successful chip projects. System architects, logic designers, verification engineers and silicon bring-up teams are able to successfully prove protocols and executable specs; to design, explore and debug RTL; to ensure correctness of block-level functionality; and for rapid silicon validation and debug. Jasper’s newly announced design solution drives greater RTL design quality and designer productivity. It is the first EDA solution for behavior-based RTL analysis and verification by logic designers that also accelerates knowledge transfer, improves design maintenance, and enables efficient reuse. Jasper solutions provide high value to both novice and advanced usersLocal sales and support by Satris Group.