ONESPIN SOLUTIONS GMBH

Patent Owner

Watch Compare Add to Portfolio

Stats

Details

Patent Activity in the Last 10 Years

Technologies

Intl Class Technology Matters Rank in Class
 
  
 
G06F ELECTRIC DIGITAL DATA PROCESSING 15432
 
  
 
H04L TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION 1284

Top Patents (by citation)

Upgrade to the Professional Level to View Top Patents for this Owner. Learn More

Recent Publications

  • No Recent Publications to Display

Recent Patents

Patent # Title Filing Date Issue Date Intl Class
9344408 Cloud-basd digital verification system and methodApr 25, 14May 17, 16[H04L, G06F]
9032345 Digital circuit verification monitorMar 28, 14May 12, 15[G06F]
8701060 Digital circuit verification monitorApr 26, 12Apr 15, 14[G06F]
8359561 Equivalence verification between transaction level models and RTL at the example to processorsNov 21, 08Jan 22, 13[G06F]
8166430 Method for determining the quality of a quantity of properties, to be employed for verifying and specifying circuitsJun 22, 09Apr 24, 12[G06F]
7818700 System and method for verification and generation of timing exceptionsOct 23, 07Oct 19, 10[G06F]
7802211 Method and device for verifying digital circuitsAug 19, 03Sep 21, 10[G06F]
7571398 Method for the determination of the quality of a set of properties, usable for the verification and specification of circuitsJul 24, 06Aug 04, 09[G06F]
7373623 Method and apparatus for locating circuit deviationsJul 07, 05May 13, 08[G06F]
7174522 Method and device for circuit verificationJul 29, 04Feb 06, 07[G06F]

View all patents..

Expired/Abandoned/Withdrawn Patents

Patent # Title Status Filing Date Issue/Pub Date Intl Class
2005/0261,885 Method and apparatus for formal circuit verificationAbandonedJul 26, 05Nov 24, 05[G06F]
2005/0246,668 Method and device for an equivalence comparison of digital circuitsAbandonedFeb 25, 05Nov 03, 05[G06F]
2005/0010,882 Method and device for creating a model of a circuit for the formal verificationAbandonedMay 27, 04Jan 13, 05[G06F]
6581026 Method and configuration for comparing a first characteristic with predetermined characteristics of a technical systemExpiredMay 03, 01Jun 17, 03[G06F]
6557146 Method for the comparison of electrical circuitsExpiredSep 27, 00Apr 29, 03[G06F]

Top Inventors for This Owner

Upgrade to the Professional Level to View Top Inventors for this Owner. Learn More

We are sorry but your current selection exceeds the maximum number of comparisons () for this membership level. Upgrade to our Level for up to -1 comparisons!

We are sorry but your current selection exceeds the maximum number of portfolios (0) for this membership level. Upgrade to our Level for up to -1 portfolios!.