Patents Assigned to Furtek
  • System and method for verifying logical, arithmetic and timing dependencies of system behaviors using constraint calculus analysis
    Patent number: 6820068
    Abstract: An apparatus and method for verifying system behavior using behavior-constraint-calculus analysis is disclosed. The apparatus accepts a first “known” constraint graph and a second “conjectured” constraint graph. The apparatus transforms the second graph in such a way that the resultant “verified” graph “accepts” only those paths that are implied by the first graph and appear in the second graph.
    Type: Grant
    Filed: September 22, 2000
    Date of Patent: November 16, 2004
    Assignee: Furtek
    Inventor: Frederick C. Furtek