Patents by Inventor Lucas Roosevelt

Lucas Roosevelt has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • On-device constrained random verification for device development
    Patent number: 8108745
    Abstract: A method of functionally verifying a device under test having at least one processor and at least one memory is disclosed. The method includes creating verification data for the device under test using a constrained random verification data creation process executed on the at least one processor. The verification data includes input data and expected output data. The method further includes storing the verification data in the at least one memory. The method further includes processing the input data with the at least one processor to produce actual output data. The method further includes comparing the actual output data to the expected output data. When the actual output data does not equal the expected output data, the method further includes storing at least one inconsistency between the actual output data and the expected output data.
    Type: Grant
    Filed: August 20, 2009
    Date of Patent: January 31, 2012
    Assignee: Honeywell International Inc.
    Inventors: Timothy J. Kikta, Lucas Roosevelt, Eric R. Schneider
  • ON-DEVICE CONSTRAINED RANDOM VERIFICATION FOR DEVICE DEVELOPMENT
    Publication number: 20110047428
    Abstract: A method of functionally verifying a device under test having at least one processor and at least one memory is disclosed. The method includes creating verification data for the device under test using a constrained random verification data creation process executed on the at least one processor. The verification data includes input data and expected output data. The method further includes storing the verification data in the at least one memory. The method further includes processing the input data with the at least one processor to produce actual output data. The method further includes comparing the actual output data to the expected output data. When the actual output data does not equal the expected output data, the method further includes storing at least one inconsistency between the actual output data and the expected output data.
    Type: Application
    Filed: August 20, 2009
    Publication date: February 24, 2011
    Applicant: HONEYWELL INTERNATIONAL INC.
    Inventors: Timothy J. Kikta, Lucas Roosevelt, Eric R. Schneider