Aries Design Automation, LLC

Aries Design Automation, LLC, based in Chicago, IL, specializes in advancing technologies related to formal verification in hardware and software, as well as in areas such as Electronic Design Automation (EDA) and cyber security. With a focus on Boolean Satisfiability (SAT) solving and Constraint Satisfaction Problems (CSPs), the company also designs and develops computer hardware and software while offering consulting services in these fields.

The firm is notably involved in several research and development projects for NASA, where it is working on technologies to formally verify computer systems for the Multi-Purpose Crew Vehicle (MPCV), the next-generation spacecraft designed for human missions to the Moon and Mars. Through these efforts, Aries Design Automation plays a crucial role in enhancing the reliability of critical aerospace technologies.

Generated from the website