About ARIES DESIGN AUTOMATION, LLC
Aries Design Automation, LLC focuses on extending state-of-the-art technologies for formal verification, EDA, cyber security, and related computer science applications. They provide consulting services and have worked on R&D projects for NASA.
Formal verification of hardware and softwareElectronic Design Automation (EDA)Cyber securityBoolean Satisfiability (SAT) solvingConstraint Satisfaction Problems (CSPs) solvingPlanning and schedulingConsulting services in computer science and engineering
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| Federal contract award | National Aeronautics and Space Administration | $150K | |
| DESIGN AND FORMAL VERIFICATION OF A INSTRUCTION SET ARCHITECTURE DIGITAL SIGNAL PROCESSOR FOR SPACE COMMUNICAT | Department of Defense | $1.0M |
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to ARIES DESIGN AUTOMATION, LLC right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.