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