David Vincenzoni

According to our database, David Vincenzoni authored at least 3 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design.

Gaetano Raia, Gianluca Rigano, David Vincenzoni, Maurizio Martina

Proceedings of the Formal Methods - 26th International Symposium, 2024

2000

Smart antenna receiver for GSM/DCS system based on single chip solution.

Uberto Girola, Agostino Picciriello, David Vincenzoni

Proceedings of the IEEE International Conference on Acoustics, 2000

Smart Antenna Receiver Based on a Single Chip Solution for GSM/DCS Baseband Processing.

Uberto Girola, Agostino Picciriello, David Vincenzoni

Proceedings of the 2000 Design, 2000