Quotables
"There is no likelihood man can ever tap the power of the atom."
Robert Millikan, Nobel Prize winner in physics
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8166430 | Method for determining the quality of a quantity of properties, to be employed for verifying and specifying circuits A method is specified for determining the quality of a quantity of properties describing a machine, including a step for determining the existence of at least one sub-quantity of interrelated properties (P0, P1, . . . Pn) of the form Pi=(forall t. Ai(t)=>... | 04/24/2012 |
| 7818700 | System and method for verification and generation of timing exceptions The invention relates to a method for verifying one or more exceptions in a logic circuit comprising the steps of: a first step of providing an initial representation of a logic circuit; a second step of indicating at least one exception for the logic circuit; a thi... | 10/19/2010 |
| 7802211 | Method and device for verifying digital circuits For the verification of digital circuits, which can have multiplier structures in particular, an equivalence test between the digital circuit and a reference description of this digital circuit is proposed, in such a way that firstly for the multiplier structures im... | 09/21/2010 |
| 7373623 | Method and apparatus for locating circuit deviations 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... | 05/13/2008 |
| 7174522 | Method and device for circuit verification 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 ... | 02/06/2007 |
| 7127686 | Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said method 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 a... | 10/24/2006 |
