Sven Jurgen Beyer

Follow

Person

Munich, DE

People

Patents Grantslast 30 patents

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

Patents Applicationslast 30 patents

Information Patent Application
EQUIVALENCE VERIFICATION BETWEEN TRANSACTION LEVEL MODELS AND RTL A...
- Publication number 20090204932
- Publication date Aug 13, 2009
- Jorg Dieter Bormann
- G06 - COMPUTING CALCULATING COUNTING