Munich
Germany
16
2021-03-04
16
2022-02-15
These are the the leading inventors for applications assigned to Onespin Solutions GmbH:
Onespin Solutions GmbH based in Munich, DE has been assigned the rights to these inventions. The list includes both Pending Applications and Patent Grants:
Method to perform hardware safety analysis without fault simulation
#2 | 2021-01-07 ✅ Patent 11,157,671 granted on 2021-10-26Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design
#3 | 2020-06-25 ✅ Patent 11,520,963 granted on 2022-12-06System and method for formal fault propagation analysis
#4 | 2019-04-25 ✅ Patent 10,733,344 granted on 2020-08-04Method of selecting a prover
#5 | 2014-10-30 ✅ Patent 9,344,408 granted on 2016-05-17Cloud-basd digital verification system and method
#6 | 2014-07-31 ✅ Patent 9,032,345 granted on 2015-05-12Digital circuit verification monitor
#7 | 2013-01-17 ✅ Patent 8,701,060 granted on 2014-04-15Digital circuit verification monitor
#8 | 2009-12-31 ✅ Patent 8,166,430 granted on 2012-04-24Method for determining the quality of a quantity of properties, to be employed for verifying and specifying circuits
#9 | 2009-08-13 ✅ Patent 8,359,561 granted on 2013-01-22Equivalence verification between transaction level models and RTL at the example to processors
#10 | 2008-04-24 ✅ Patent 7,818,700 granted on 2010-10-19System and method for verification and generation of timing exceptions
#11 | 2006-09-05 ✅ Patent 7,103,620 granted on 2006-09-05Method and apparatus for verification of digital arithmetic circuits by means of an equivalence comparison
#12 | 2006-07-25 ✅ Patent 7,082,586 granted on 2006-07-25Method and arrangement for the comparison of technical system by means of system replacements
#13 | 2006-05-11 ✅ Patent 7,802,211 granted on 2010-09-21Method and device for verifying digital circuits
#14 | 2006-03-23 ✅ Patent 7,373,623 granted on 2008-05-13Method and apparatus for locating circuit deviations
#15 | 2005-02-24 ✅ Patent 7,174,522 granted on 2007-02-06Method and device for circuit verification
#16 | 2005-02-24 ✅ Patent 7,127,686 granted on 2006-10-24Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said method
Also check out OneSpin Solutions GmbH's (Munich, Germany) applicant profile with 5 patent applications submitted.
81632 ⎘