| Patent Number |
Title Of Patent |
Date Issued |
| 7373623 |
Method and apparatus for locating circuit deviations |
May 13, 2008 |
| A system and method for locating circuit deviations or circuit faults in a circuit in respect of a reference circuit. The circuit and the reference circuit are respectively describable by signal-flow graphs, the signal-flow graphs being composed of a multiplicity of interconnected fu |
| 7174522 |
Method and device for circuit verification |
February 6, 2007 |
| When designing digital circuits, the specification of the circuit is used to formulate properties and to check the applicability thereof using a model of the circuit. A verifier is employed and uses the model to determine whether a property is applicable by seeking a counterexample to |
| 7127686 |
Method for validating simulation results of a system as well as equivalence comparison of digita |
October 24, 2006 |
| 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 |
| 7103620 |
Method and apparatus for verification of digital arithmetic circuits by means of an equivalence |
September 5, 2006 |
| A method and an apparatus for verification of arithmetic digital circuits is disclosed, wherein a first circuit, called a specification, is compared for equivalence with a further circuit called an implementation, with equivalence occurring when and only when the specification and im |
| 7082586 |
Method and arrangement for the comparison of technical system by means of system replacements |
July 25, 2006 |
| The invention permits a comparison of two technical systems, which according to conventional opinion is not possible to carry out, based on a substantially simpler, technically achievable comparison, in which part systems of one or both systems are specifically replaced. The replacem |
