Verification Of Combinational Logic in Nuprl. - David A. Basin; Peter Del Vecchio (Hardware Specification, Verification and Synthesis, 1989)

16.1 Tomahawk5: 51.2Tb/s 5nm Monolithic Switch Chip for AI/ML Networking. - Asad Khamisy; Mohan Kalkunte; Peter Del Vecchio; Yokai Cheok; Greg Barsky; Karlheinz Muth; Reza Sharifi (ISSCC, 2025)