Patents by Inventor Nathan Kitchen

Nathan Kitchen 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).

  • System, methods and apparatus for generation of simulation stimulus
    Patent number: 8020125
    Abstract: A method and apparatus for producing a verification of digital circuits is provided. In an exemplary embodiment, a set of Boolean and Integer constraints are derived, and a set of Boolean and Integer stimuli are generated that meet the constraints. These stimuli are then used to verify a digital design, and a verification report is generated. In other example embodiments, a computing apparatus and computer software product are provided. The computer software product containing a set of executable instructions that, when executed, configure the computing apparatus to produce a verification report by the provided methods.
    Type: Grant
    Filed: September 10, 2008
    Date of Patent: September 13, 2011
    Assignee: Cadence Design Systems, Inc.
    Inventors: Andreas Kuehlmann, Nathan Kitchen