For the Inventor, By the Inventor

Enter assignee name

Munich, Germany

Onespin Solutions Gmbh

Calculating rank

USPTO Granted Patents = 16

EPO Patents = 5

Trademarks = 1

Forward Citations = 168

Loading Chart...

Loading Chart...

24 inventors (with patents filed for the assignee):

Raik Brinkmann (4 out of 5 patents)

Stefan Höreth (3 out of 4 patents)

Jörg Grosse (2 out of 3 patents)

4. Holger Busch (2 out of 5 patents)

5. Dominik Strasser (2 out of 3 patents)

6. Martin Müller-Brahms (2 out of 2 patents)

7. Peter Warkentin (2 out of 3 patents)

8. Arun Chandrasekharan (1 out of 1 patent)

9. Tobias Welp (1 out of 1 patent)

10. Monica Rafaila (1 out of 2 patents)

11. Gerrit Niesler (1 out of 1 patent)

12. Mirko Fit (1 out of 1 patent)

13. Joerg Bormann (1 out of 1 patent)

14. Sven Beyer (1 out of 1 patent)

15. Sebastian Skalberg (1 out of 1 patent)

16 patents: Sort by Forward Citations

1. 11520963 - System and method for formal fault propagation analysis (2022-12-06),

2. 11250198 - Method to perform hardware safety analysis without fault simulation (2022-02-15),

3. 11157671 - Method of checking equivalence between a first design comprising a shift register logic SRL chain and a second design (2021-10-26),

4. 10733344 - Method of selecting a prover (2020-08-04),

5. 9344408 - Cloud-basd digital verification system and method (2016-05-17),

6. 9032345 - Digital circuit verification monitor (2015-05-12),

7. 8701060 - Digital circuit verification monitor (2014-04-15),

8. 8359561 - Equivalence verification between transaction level models and RTL at the example to processors (2013-01-22),

9. 8166430 - Method for determining the quality of a quantity of properties, to be employed for verifying and specifying circuits (2012-04-24),

10. 7818700 - System and method for verification and generation of timing exceptions (2010-10-19),

11. 7802211 - Method and device for verifying digital circuits (2010-09-21),

12. 7373623 - Method and apparatus for locating circuit deviations (2008-05-13),

13. 7174522 - Method and device for circuit verification (2007-02-06),

14. 7127686 - Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said method (2006-10-24),

15. 7103620 - Method and apparatus for verification of digital arithmetic circuits by means of an equivalence comparison (2006-09-05),

Company Overview

Onespin Solutions GmbH, based in Munich, specializes in advanced software solutions for the semiconductor industry. The company focuses on providing innovative verification tools that enhance the design and validation processes of integrated circuits. With a strong emphasis on formal verification methods, Onespin aims to improve the reliability and performance of electronic systems. Their expertise supports various applications across automotive, telecommunications, and consumer electronics sectors, contributing to the evolution of cutting-edge technology.

Profile summary synthesized from public USPTO records and patent filings.

Company Badge

USPTO Data Jan 1 1976 - Oct 27 2026

16 Patents

#148 in W-8000 Munich

#2,626 in Germany

#37,887 in the World

Munich, Germany

Onespin Solutions Gmbh

Forward Citations = 168

24 inventors:

Raik Brinkmann (4 out of 5 patents)

Stefan Höreth (3 out of 4 patents)

Jörg Grosse (2 out of 3 patents)

4. Holger Busch (2 out of 5 patents)

5. Dominik Strasser (2 out of 3 patents)

IDiyas Innovation Intelligence. (2026). Company Patent Portfolio: Onespin Solutions Gmbh. Retrieved from https://idiyas.com/company/onespin-solutions

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Data Sources: USPTO Patent Grant XML, Patent Center, EPO & CIPO • Normalized by IDiyas Innovation Graph. Methodology & provenance architecturePlease report any incorrect information to [email protected]

Loading…