Smart Antenna Receiver Based on a Single Chip Solution for GSM/DCS Baseband Processing. - Uberto Girola; Agostino Picciriello; David Vincenzoni (DATE, 2000)

Smart antenna receiver for GSM/DCS system based on single chip solution. - Uberto Girola; Agostino Picciriello; David Vincenzoni (ICASSP, 2000)

A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design. - Gaetano Raia; Gianluca Rigano; David Vincenzoni; Maurizio Martina (FM (2), 2024)