ARIES DESIGN AUTOMATION

Design and development of computer software technologies for use in the fields of formal verification of hardware and software, electronic design automation, cyber security, Boolean satisfiability, solving of constraint satisfaction problems, planning, scheduling, and other computer science and computer engineering applications; Design and development of computer hardware and software; Computer hardware and software consulting services