VLSI Systems Design

The research activities carried out in this area cover different aspects of the design, synthesis, verification and test of VLSI systems. A special emphasis is devoted to using formal methods to develop CAD tools for these tasks.

The current efforts are focused to the following topics: asynchronous circuits, low power design, high-level synthesis and models of concurrency.

• Research Subfields
  • Synthesis, Formal Verification, and Test of Asynchronous Systems
    • Synthesis
    • Formal Verification
    • Test
  • Design of VLSI Architectures for Low power
  • Software Pipelining for Super-scalar and VLSI processors
  • Symbolic Analysis of Concurrent Systems
• R+D Projects and Agreements
• Grants