Patents - Alberto L. Sangiovanni-Vincentelli

System and method for automatically synthesizing interfaces between incompatible protocols
Roberto Passerone, James A. Rowson and Alberto Sangiovanni-Vincentelli
U.S. Patent 7,136,947. November 2006

System and method for simulating discrete functions using ordered decision arrays
Patrick C. McGeer, Alexander Saldanha and Alberto Sangiovanni-Vincentelli
U.S. Patent 5,752,000. May 1998