Juergen Vielfort

Follow

Person

Althengstett, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Verifying a processor design using a processor simulation model
- Patent number 8,600,724
- Issue date Dec 3, 2013
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying a register-transfer level design of an execution unit
- Patent number 8,402,403
- Issue date Mar 19, 2013
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying a processor design using a processor simulation model
- Patent number 8,249,848
- Issue date Aug 21, 2012
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test case generation with backward propagation of predefined result...
- Patent number 7,865,793
- Issue date Jan 4, 2011
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFYING A PROCESSOR DESIGN USING A PROCESSOR SIMULATION MODEL
- Publication number 20120284007
- Publication date Nov 8, 2012
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verifying a Register-Transfer Level Design of an Execution Unit
- Publication number 20110154110
- Publication date Jun 23, 2011
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, System, computer program product and data processing progra...
- Publication number 20090063829
- Publication date Mar 5, 2009
- International Business Machines Corporation
- Stefan Letz
- G06 - COMPUTING CALCULATING COUNTING