Accueil > Recherche > Stages/emplois > [Taken] Theoretical complexity of graph-analysis for electrical circuit (...)

[Taken] Theoretical complexity of graph-analysis for electrical circuit error detection

Collaboration between LIP and the Aniah Startup.

mercredi 15 septembre 2021

Aniah is a Start-up that offers tools for analyzing semiconductor manufacture circuits. Aniah has introduced algorithms relying on hierarchical graph decompositions that significantly pushes the boundaries of the size of analyzable circuits, from a few hundred thousand elements to several trillion. Aniah is collaborating with the Laboratoire de l’Informatique du Parallélisme (LIP) to consolidate and generalize its approach by supplementing its practical results with a theoretical backbone.

The overall goal of the internship is to study the theoretical complexity of existing algorithms, and/or propose new ones. The details are provided below.

Documents joints


Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License