As senior staff member of the Symmetrical Multiprocessor (SMP) design team, I participated in the development of Sun Enterprise Servers E3000, E4000, E5000 and E6000. I took an active part in the overall architecture definition, proposed its arbitration algorithm and the mechanisms which allow the snooping domain to be brought outside of a bus. I am the first inventor on three patents [41][42][43] and co-inventor of the overall SMP protocol patent [40]. I also designed and implemented the major part of its verification system.
The result is the fastest bus in the world. The architecture set several world record on many important industrial benchmarks, such as TPC-C performance and TPC-D price/performance (TPC results) [25]. I paid special attention to informal verification techniques, and developed a new way of expressing and structuring verification tasks, now used as the blueprint for several verification projects throughout Sun. This was also instrumental in the development of the new verification language "Vera," now marketed by Synopsys . Other important architectural areas are related to Reliability, Availability and Serviceability (RAS).