Research projects
These are research projects in which the group is currently
participating:
-
Reencoding techniques for logic synthesis of high-speed
circuits (funded by Strategic
CAD Labs, Intel Corp.)
-
ACiD-WG
(Working Group on Asynchronous Circuit Design)
-
SegraVis: (Syntatic
and Semantic Integration of Visual Modelling Techniques)
-
GRAMMARS (Graph-based methods for the modelling, analysis
and realization of large-scale systems, CICYT TIN2004-07925)
Back to GAVINA group |