Patents by Inventor Steven B. Parks

Steven B. Parks 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).

  • Patent number: 6591402
    Abstract: Techniques for analyzing circuit designs based on assertions. An assertion is associated with a circuit structure from the circuit design. The assertion specifies a context of the circuit design in which the circuit structure is to be analyzed, an attribute associated with the circuit structure, and a constraint associated with the attribute. The present invention analyzes the circuit design based on assertions and checks to identify one or more instances of the circuit structure in the circuit design which do not satisfy the constraint specified in the assertion. An assertion may also indicate an action to be performed if the circuit structure does not satisfy the constraint specified in the assertion.
    Type: Grant
    Filed: March 17, 2000
    Date of Patent: July 8, 2003
    Assignee: Moscape, Inc.
    Inventors: Rajit Chandra, Joydeep Mitra, Steven B. Parks, Chandrasekhara Somanathan