Research
See the WWW pages of the GAVINA team.
The GAVINA team belongs to the ALBCOM research group.
Research areas:
- Synthesis, analysis and verification of concurrent systems
- Asynchronous circuits
- Synchronous elastic systems
- Formal verification
- Performance analysis
- Nanocomputing
- Logic synthesis
- Logic decomposition
- Physical-aware synthesis
Master Thesis proposals.