Inventor
HOSKOTE YATIN V
US4 patents
Patents
4 patentsUS6484134B1Nov 19, 2002
Property coverage in formal verification
INTEL CORP65 citations92
US6889241B2May 3, 2005
Floating point adder
INTEL CORP13 citations83
US7657693B2Feb 2, 2010
Router to use three levels of arbitration for a crossbar channel
INTEL CORP13 citations81
US7149675B2Dec 12, 2006
System and method for automatically mapping state elements for equivalence verification
INTEL CORP5 citations59