Patents by Inventor Carl-Johan H. Seger

Carl-Johan H. Seger 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).

  • Symbolic simulation using input space decomposition via Boolean functional representation in parametric form
    Patent number: 6539345
    Abstract: The present invention is a method and apparatus to verify a design which has an input space and a predicate. The input space is decomposed into a plurality of decompositions. The input space includes a plurality of node variables. The plurality of decompositions includes parametric variables. The decompositions are parameterized into vectors of parametric functions to satisfy the predicate.
    Type: Grant
    Filed: April 9, 1999
    Date of Patent: March 25, 2003
    Assignee: Intel Corporation
    Inventors: Robert B. Jones, Carl-Johan H. Seger