Onespin Solutions GmbH

Organization

Munich, DE

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

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
Method to perform hardware safety analysis without fault simulation
- Patent number 11,250,198
- Issue date Feb 15, 2022
- OneSpin Solutions GmbH
- Jörg Grosse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of checking equivalence between a first design comprising a...
- Patent number 11,157,671
- Issue date Oct 26, 2021
- OneSpin Solutions GmbH
- Peter Warkentin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of selecting a prover
- Patent number 10,733,344
- Issue date Aug 4, 2020
- OneSpin Solutions GmbH
- Monica Rafaila
- 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
Information Patent Grant
Equivalence verification between transaction level models and RTL a...
- Patent number 8,359,561
- Issue date Jan 22, 2013
- OneSpin Solutions GmbH
- Joerg Bormann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining the quality of a quantity of properties, to...
- Patent number 8,166,430
- Issue date Apr 24, 2012
- OneSpin Solutions GmbH
- Jörg Bormann
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for verification and generation of timing exceptions
- Patent number 7,818,700
- Issue date Oct 19, 2010
- OneSpin Solutions GmbH
- Martin Müller-Brahms
- G01 - MEASURING TESTING
Information Patent Grant
Method and device for verifying digital circuits
- Patent number 7,802,211
- Issue date Sep 21, 2010
- OneSpin Solutions GmbH
- Stefan Höreth
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for locating circuit deviations
- Patent number 7,373,623
- Issue date May 13, 2008
- OneSpin Solutions GmbH
- Stefan Horeth
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and device for circuit verification
- Patent number 7,174,522
- Issue date Feb 6, 2007
- OneSpin Solutions GmbH
- Holger Busch
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for validating simulation results of a system as well as equ...
- Patent number 7,127,686
- Issue date Oct 24, 2006
- OneSpin Solutions GmbH
- Rolf Drechsler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for verification of digital arithmetic circuit...
- Patent number 7,103,620
- Issue date Sep 5, 2006
- OneSpin Solutions GmbH
- Wolfgang Kunz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and arrangement for the comparison of technical system by me...
- Patent number 7,082,586
- Issue date Jul 25, 2006
- OneSpin Solutions, GmbH
- Stefan Horeth
- G06 - COMPUTING CALCULATING COUNTING

Please log in for detailed analytics

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
Method to Perform Hardware Safety Analysis without Fault Simulation
- Publication number 20210064810
- Publication date Mar 4, 2021
- Onespin Solutions GmbH
- Jörg Grosse
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD OF CHECKING EQUIVALENCE BETWEEN A FIRST DESIGN COMPRISING A...
- Publication number 20210004513
- Publication date Jan 7, 2021
- Onespin Solutions GmbH
- Peter Warkentin
- 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
SYSTEM AND METHOD FOR FORMAL CIRCUIT VERIFICATION
- Publication number 20180364298
- Publication date Dec 20, 2018
- Onespin Solutions GmbH
- Joerg Grosse
- G01 - MEASURING TESTING
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

Please log in for detailed analytics

Trademarklast 30 trademarks

Information Trademark
79026390 - ONESPIN 360
- Serial number 79026390
- Registration number 3445354
- Filing date Mar 21, 2006
- Onespin Solutions GmbH
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
79026389 - FORMALDOUBLEPASS
- Serial number 79026389
- Registration number 3440846
- Filing date Mar 21, 2006
- Onespin Solutions GmbH
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
79022215 - ONESPIN
- Serial number 79022215
- Registration number 3352559
- Filing date Nov 10, 2005
- Onespin Solutions GmbH
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

Onespin Solutions GmbH

Organization

Patents Grantslast 30 patents

System and method for formal fault propagation analysis

Method to perform hardware safety analysis without fault simulation

Method of checking equivalence between a first design comprising a...

Method of selecting a prover

Cloud-basd digital verification system and method

Digital circuit verification monitor

Digital circuit verification monitor

Equivalence verification between transaction level models and RTL a...

Method for determining the quality of a quantity of properties, to...

System and method for verification and generation of timing exceptions

Method and device for verifying digital circuits

Method and apparatus for locating circuit deviations

Method and device for circuit verification

Method for validating simulation results of a system as well as equ...

Method and apparatus for verification of digital arithmetic circuit...

Method and arrangement for the comparison of technical system by me...

Patents Applicationslast 30 patents

SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS

Method to Perform Hardware Safety Analysis without Fault Simulation

METHOD OF CHECKING EQUIVALENCE BETWEEN A FIRST DESIGN COMPRISING A...

SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS

SYSTEM AND METHOD FOR FORMAL CIRCUIT VERIFICATION

Cloud-Basd Digital Verification System and Method

Trademarklast 30 trademarks

79026390 - ONESPIN 360

79026389 - FORMALDOUBLEPASS

79022215 - ONESPIN