Patents by Inventor Steven J. Schlesinger

Steven J. Schlesinger 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).

  • Automated verification of digital design
    Patent number: 5859962
    Abstract: A system for verifying design of a digital system. A digital system, which receives input vectors and produces output vectors, is simulated. The invention generates a sequence of synthesized input vectors, and applies them to the simulated system. These input vectors cause changes in internal variables, and the output vectors. The invention also independently computes the values which internal variables and output vectors are expected to assume. The invention then compares the simulated internal and output variables with the computed values. If they agree, the simulation is assumed to function properly.
    Type: Grant
    Filed: December 21, 1995
    Date of Patent: January 12, 1999
    Assignee: NCR Corporation
    Inventors: Donald G. Tipon, Steven J. Schlesinger, Chinh Kim Nguyen, Darrin J. Marshall