Assignee
ONESPIN SOLUTIONS GMBH
DE·13 granted patents·1 pending application·166 citations·filing 2001–2020
Top patents by PatentIndex Score
14 records- 0188US11250198B2Method to perform hardware safety analysis without fault simulationONESPIN SOLUTIONS GMBH·Filed 2020·Granted Feb 15, 2022·4 cites·18 claims
- 0288US7127686B2Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said methodONESPIN SOLUTIONS GMBH·Filed 2002·Granted Oct 24, 2006·107 cites·19 claims
- 0373US11520963B2System and method for formal fault propagation analysisONESPIN SOLUTIONS GMBH·Filed 2018·Granted Dec 6, 2022·3 cites·7 claims
- 0471US7103620B2Method and apparatus for verification of digital arithmetic circuits by means of an equivalence comparisonONESPIN SOLUTIONS GMBH·Filed 2002·Granted Sep 5, 2006·23 cites·4 claims
- 0570US7818700B2System and method for verification and generation of timing exceptionsONESPIN SOLUTIONS GMBH·Filed 2007·Granted Oct 19, 2010·10 cites·18 claims
- 0669US8359561B2Equivalence verification between transaction level models and RTL at the example to processorsONESPIN SOLUTIONS GMBH·Filed 2008·Granted Jan 22, 2013·7 cites·52 claims
- 0755US10733344B2Method of selecting a proverONESPIN SOLUTIONS GMBH·Filed 2017·Granted Aug 4, 2020·1 cites·12 claims
- 0851US7082586B2Method and arrangement for the comparison of technical system by means of system replacementsONESPIN SOLUTIONS GMBH·Filed 2001·Granted Jul 25, 2006·6 cites·8 claims
- 0950US7174522B2Method and device for circuit verificationONESPIN SOLUTIONS GMBH·Filed 2004·Granted Feb 6, 2007·3 cites·24 claims
- 1039US7802211B2Method and device for verifying digital circuitsONESPIN SOLUTIONS GMBH·Filed 2003·Granted Sep 21, 2010·2 cites·13 claims
- 1138US7373623B2Method and apparatus for locating circuit deviationsONESPIN SOLUTIONS GMBH·Filed 2005·Granted May 13, 2008·0 cites·17 claims
- 1235US11157671B2Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second designONESPIN SOLUTIONS GMBH·Filed 2020·Granted Oct 26, 2021·0 cites·15 claims
- 1335US9344408B2Cloud-basd digital verification system and methodONESPIN SOLUTIONS GMBH·Filed 2014·Granted May 17, 2016·0 cites·8 claims
- 1434US2018364298A1System and method for formal circuit verificationONESPIN SOLUTIONS GMBH·Filed 2017·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →