Patents by Inventor Burkhard Stubert

Burkhard Stubert 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: 7127686
    Abstract: The invention creates a technology for validating simulation results. The quickly growing number of components in modern complex systems often necessitates the introduction of abstractions, that render said systems manageable. However the abstractions, which often are based simplified assumptions, may impair the simulation results. The automatic post-processing method according to the invention safeguards the validity of the result. In most cases this can be reached, without restoring the complete description, which generally is too complex. The method, which is described for the validation of calculated counter-examples in an equivalence comparison of digital circuits can be used in all other applications, that allow for an analagous formalization of the abstraction step.
    Type: Grant
    Filed: August 29, 2002
    Date of Patent: October 24, 2006
    Assignee: Onespin Solutions GmbH
    Inventors: Rolf Drechsler, Wolfgang Günther, Burkhard Stubert
  • Publication number: 20050043935
    Abstract: The invention creates a technology for validating simulation results. The quickly growing number of components in modern complex systems often necessitates the introduction of abstractions, that render said systems manageable. However the abstractions, which often are based simplified assumptions, may impair the simulation results. The automatic post-processing method according to the invention safeguards the validity of the result. In most cases this can be reached, without restoring the complete description, which generally is too complex. The method, which is described for the validation of calculated counter-examples in an equivalence comparison of digital circuits can be used in all other applications, that allow for an analagous formalization of the abstraction step.
    Type: Application
    Filed: August 29, 2002
    Publication date: February 24, 2005
    Inventors: Rolf Dreschsler, Wolfgang Gunther, Burkhard Stubert