Inventor
PETSINGER JEREMY
US3 patents
Patents
3 patentsUS7139936B2Nov 21, 2006
Method and apparatus for verifying the correctness of a processor behavioral model
HEWLETT PACKARD DEVELOPMENT CO16 citations90
US6625759B1Sep 23, 2003
Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit
HEWLETT PACKARD DEVELOPMENT CO22 citations90
US7774658B2Aug 10, 2010
Method and apparatus to search for errors in a translation look-aside buffer
HEWLETT PACKARD DEVELOPMENT CO1 citations45