loadpatents
Patent applications and USPTO patent grants for Smith; Zachary Steven.The latest application filed is for "object-oriented interface to rtl model signals".
Patent | Date |
---|---|
Processor architecture verification Grant 8,862,770 - Smith , et al. October 14, 2 | 2014-10-14 |
Expectation based event verification Grant 7,818,646 - Maly , et al. October 19, 2 | 2010-10-19 |
Speculative expectation based event verification Grant 7,574,341 - Maly , et al. August 11, 2 | 2009-08-11 |
Systems and methods for identifying incomplete transactions Grant 7,519,865 - Maly , et al. April 14, 2 | 2009-04-14 |
Systems and methods for identifying erroneous transactions Grant 7,313,731 - Smith , et al. December 25, 2 | 2007-12-25 |
Systems and methods for conducting future signal checks Grant 7,210,111 - Smith , et al. April 24, 2 | 2007-04-24 |
Virtual bus interface production of header-type fields from data-type fields Grant 7,065,603 - Smith , et al. June 20, 2 | 2006-06-20 |
Object-oriented interface to RTL model signals App 20060129368 - Smith; Zachary Steven ;   et al. | 2006-06-15 |
Transaction logging and intelligent error reporting in an expectation-based memory agent checker Grant 6,963,997 - Maly , et al. November 8, 2 | 2005-11-08 |
Model specific register operations App 20050228631 - Maly, John Warren ;   et al. | 2005-10-13 |
Virtual-bus interface and associated system and method App 20050228926 - Smith, Zachary Steven ;   et al. | 2005-10-13 |
Transaction Logging And Intelligent Error Reporting In An Expectation-based Memory Agent Checker App 20050223281 - Maly, John Warren ;   et al. | 2005-10-06 |
Random code generation using genetic algorithms App 20050223346 - Smith, Zachary Steven ;   et al. | 2005-10-06 |
Virtual bus interface production of header-type fields from data-type fields App 20050216638 - Smith, Zachary Steven ;   et al. | 2005-09-29 |
Detecting coherency protocol mode in a virtual bus interface App 20050216637 - Smith, Zachary Steven ;   et al. | 2005-09-29 |
Suppressing production of bus transactions by a virtual-bus interface App 20050216625 - Smith, Zachary Steven ;   et al. | 2005-09-29 |
Systems and methods for error tracking and recovery in an expectation-based memory agent checker App 20050188275 - Maly, John Warren ;   et al. | 2005-08-25 |
Systems and methods for initializing a lockstep mode test case simulation of a multi-core processor design App 20050154573 - Maly, John Warren ;   et al. | 2005-07-14 |
Random code generation using genetic algorithms Grant 6,918,098 - Smith , et al. July 12, 2 | 2005-07-12 |
Systems and methods for identifying similar bugs App 20050138536 - Smith, Zachary Steven ;   et al. | 2005-06-23 |
Systems and methods for verifying lockstep operation App 20050120278 - Smith, Zachary Steven ;   et al. | 2005-06-02 |
Systems and methods for determining bug ownership App 20050120272 - Smith, Zachary Steven ;   et al. | 2005-06-02 |
Systems and methods for verifying core determinacy App 20050114735 - Smith, Zachary Steven ;   et al. | 2005-05-26 |
Systems and methods for identifying unending transactions App 20050108501 - Smith, Zachary Steven ;   et al. | 2005-05-19 |
Systems and methods for identifying erroneous transactions App 20050097404 - Smith, Zachary Steven ;   et al. | 2005-05-05 |
System and method for generating a test case App 20050086565 - Thompson, Ryan Clarence ;   et al. | 2005-04-21 |
System and method for testing a circuit design App 20050076282 - Thompson, Ryan Clarence ;   et al. | 2005-04-07 |
Random code generation using genetic algorithms App 20040015791 - Smith, Zachary Steven ;   et al. | 2004-01-22 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.