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