Yubik développe des outils logiciels automatisés pour vous aider à contrôler, distribuer et optimiser la précision dans vos logiciels. La particularité de Yubik par rapport aux outils déjà existant sur le marché est de venir en soutien des méthodes mathématiques « formelles » et de se baser sur des statistiques et des simulations. Nous avons conçu une technologie innovante permettant de déterminer en tout point d’un logiciel la précision requise pour obtenir une précision en sortie. Notre technologie permet également de savoir comment répartir intelligemment la précision entre les différents calculs d’un logiciel. Nos outils permettent à la fois de faciliter les méthodes formelles et de garantir statistiquement une précision pire cas mais également d’optimiser la précision des calculs pour obtenir des gains énergétiques ou bien de surface dans le cadre d’implémentation embarquée.