Patent Assignment
Reel/Frame 063581/0480
Merger and Change of Name
Recorded: 2023-05-09
Pages: 3
Assignors
ONESPIN SOLUTIONS GMBH
Executed: 2022-04-24
SIEMENS ELECTRONIC DESIGN AUTOMATION GMBH
Executed: 2022-04-24
Assignee
SIEMENS ELCETRONIC DESIGN AUTOMATION GMBH
ARNULFSTRASSE 201, MÜNCHEN, 80634, GERMANY
Covered Properties
(17)
Method and Apparatus for Verification of Digital Arithmetic Circuits by Means of an Equivalence Comparison
Method and Device for Verifying Digital Circuits
Method and Apparatus for Determining the Minimum or Maximum Switching Activity of a Digital Circuit
Method and Device for Circuit Verification
Method and Apparatus for Locating Circuit Deviations
Method for the Determination of the Quality of a Set of Properties, Usable for the Verification and Specification of Circuits
System and Method for Verification and Generation of Timing Exceptions
Equivalence Verification Between Transaction Level Models and Rtl at the Example to Processors
Method for Determining the Quality of a Quantity of Properties, to Be Employed for Verifying and Specifying Circuits
Digital Circuit Verification Monitor
Digital Circuit Verification Monitor
Cloud-Basd Digital Verification System and Method
Method of Selecting a Prover
System and Method for Formal Fault Propagation Analysis
Method of Checking Equivalence Between a First Design Comprising a Shift Register Logic Srl Chain and a Second Design
Method to Perform Hardware Safety Analysis without Fault Simulation
System and Method for Formal Fault Propagation Analysis
Related Assignments
(23)
Other recorded transfers of the patents in this record — the chain of ownership.
Assignment of Assignor's Interest
Feb 3, 2003
From: KUNZ, WOLFGANG; RUDLOF, THOMAS; STOFFEL, DOMINIK
To: INFINEON TECHNOLOGIES, A.G.
Reel/Frame 013728/0449 →
Assignment of Assignor's Interest
Nov 21, 2003
From: HORETH, STEFAN
To: INFINEON TECNNOLOGIES AG
Reel/Frame 014737/0650 →
Assignment of Assignor's Interest
Nov 5, 2004
From: BUSCH, HOLGER
To: INFINEON TECHNOLOIGES AG
Reel/Frame 015967/0364 →
Assignment of Assignor's Interest
Nov 28, 2005
From: HORETH, STEFAN; MULLER-BRAHMS, MARTIN; RUDOLF, THOMAS
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 017512/0112 →
Assignment of Assignor's Interest
Dec 6, 2005
From: HORETH, STEFAN
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 017322/0588 →
Assignment of Assignor's Interest
Feb 10, 2006
From: SIEMENS AKTIENGESELLSCHAFT
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 017255/0221 →
Assignment of Assignor's Interest
Mar 30, 2006
From: INFINEON TECHNOLOGIES AG
To: ONSEPIN SOLUTIONS GMBH
Reel/Frame 017387/0996 →
Assignment of Assignor's Interest
Aug 8, 2006
From: INFINEON TECHNOLOGIES AG
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 018061/0796 →
Assignment of Assignor's Interest
Jan 14, 2009
From: MUELLER-BRAHMS, MARTIN, DR.
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 022103/0930 →
Assignment of Assignor's Interest
Dec 4, 2009
From: BORMANN, JORG; BEYER, SVEN; SKALBERG, SEBASTIAN
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 023608/0419 →
Assignment of Assignor's Interest
Apr 5, 2011
From: INFINEON TECHNOLOGIES AG
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 026074/0533 →
Assignment of Assignor's Interest
Apr 5, 2011
From: BUSCH, HOLGER
To: INFINEON TECHNOLOGIES AG
Reel/Frame 026074/0416 →
Assignment of Assignor's Interest
Apr 5, 2011
From: BUSCH, HOLGER
To: INFINEON TECHNOLOGIES AG
Reel/Frame 026074/0473 →
Employment Contract
Apr 5, 2011
From: BORMANN, JORG
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 026075/0560 →
Assignment of Assignor's Interest
Apr 26, 2012
From: BRINKMANN, RAIK, DR.
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 028114/0623 →
Assignment of Assignor's Interest
Feb 11, 2015
From: BRINKMANN, RAIK, DR
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 034941/0389 →
Assignment of Assignor's Interest
Apr 18, 2016
From: FIT, MIRKO; STRASSER, DOMINIK; NIESLER, GERRIT; BRINKMANN, RAIK
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 038306/0904 →
Assignment of Assignor's Interest
Dec 20, 2017
From: RAFAILA, MONICA
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 044448/0209 →
Assignment of Assignor's Interest
Dec 19, 2019
From: STRASSER, DOMINIK; GROSSE, JÖRG; LANIK, JAN; BRINKMANN, RAIK
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 051331/0592 →
Assignment of Assignor's Interest
Aug 3, 2020
From: WARKENTIN, PETER; CHANDRASEKHARAN, ARUN; WELP, TOBIAS
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 053382/0708 →
Assignment of Assignor's Interest
Sep 3, 2020
From: GROSSE, JÖRG
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 053687/0144 →
Assignment of Assignor's Interest
Oct 5, 2022
From: STRASSER, DOMINIK; GROSSE, JÖRG; LANIK, JAN; BRINKMANN, RAIK
To: ONESPIN SOLUTIONS GMBH
Reel/Frame 061318/0494 →
Corrective Assignment to Correct the Clerical Error of Elcetronic to Electronic Previously Recorded on Reel 063581 Frame 0480. Assignor(S) Hereby Confirms the Merger and Change of Name .
May 16, 2023
From: ONESPIN SOLUTIONS GMBH
To: SIEMENS ELECTRONIC DESIGN AUTOMATION GMBH
Reel/Frame 063889/0548 →