Electronic Design Automation (EDA)

Aries Design Automation, LLC works to extend the state-of-the-art in formal verification of hardware and software, Electronic Design Automation (EDA), cyber security, Boolean Satisfiability (SAT), solving Constraint Satisfaction Problems (CSPs), planning, scheduling, and other computer science and computer engineering applications. It designs and develops computer hardware and software and provides consulting services in these fields. In R&D projects for NASA, it is developing technology to formally verify computer systems on the Multi-Purpose Crew Vehic

Read more

Boolean Satisfiability (SAT)computer hardware and software design and developmentConstraint Satisfaction Problem (CSP) solvingconsultingCyber securityformal verificationPlanningscheduling

CyNexo is an innovative SME company whose team, born within SISSA (Scuola Internazionale Superiore di Studi Avanzati of Trieste), has extensive experience in mechatronic engineering, quality, project and process management for academic and private institutions. It works on hardware for scientific laboratories, integration of sensors and software, covering the entire product lifecycle from idea development and proof of concept to prototyping and single or small quantity production. It also works on Industry 4.0 platforms for closed-loop quality and proces

Read more

3D CAD designAdditive and Subtractive ManufacturingAssembly and testingcustom LabView software developmentelectronic, mechanical and software designmechatronic engineeringproductionprototyping