Raik Brinkmann

Follow

Person

Inning a. Ammersee, DE

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for formal fault propagation analysis
- Patent number 11,816,410
- Issue date Nov 14, 2023
- Siemens Electronic Design Automation Gmbh
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for formal fault propagation analysis
- Patent number 11,520,963
- Issue date Dec 6, 2022
- OneSpin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cloud-basd digital verification system and method
- Patent number 9,344,408
- Issue date May 17, 2016
- OneSpin Solutions GmbH
- Dominik Strasser
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Digital circuit verification monitor
- Patent number 9,032,345
- Issue date May 12, 2015
- OneSpin Solutions GmbH
- Raik Brinkmann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Digital circuit verification monitor
- Patent number 8,701,060
- Issue date Apr 15, 2014
- OneSpin Solutions, GmbH
- Raik Brinkmann
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
- Publication number 20220414306
- Publication date Dec 29, 2022
- Onespin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
- Publication number 20200200820
- Publication date Jun 25, 2020
- Onespin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Cloud-Basd Digital Verification System and Method
- Publication number 20140325669
- Publication date Oct 30, 2014
- Onespin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Digital Circuit Verification Monitor
- Publication number 20130019217
- Publication date Jan 17, 2013
- Raik Brinkmann
- G06 - COMPUTING CALCULATING COUNTING