Logikoptimierung und Zustandsraumreduktion für Hybrid-Verifizierung
EP2382570
Art A2
2. November 2011
Anmelder: Synopsys, Inc. 🇺🇸
Details
- Veröffentlichungs-Nr.
- EP2382570
- Aktenzeichen
- EP10736234
- Anmeldetag
- 19. Januar 2010
- Veröffentlichung
- 2. November 2011
- Rechtsraum
- EP
- IPC
- G06F19/00G06F17/50G01R31/28
Abstract
Für dieses Patent liegt uns kein Abstract vor.
Anmelder
- Firma
- Synopsys, Inc.
- Land
- 🇺🇸 USA
🇺🇸
Synopsys
Synopsys ist ein US-amerikanischer Anbieter von Software für den Chip- und Systementwurf (EDA) mit Sitz in Kalifornien. Das Patentportfolio konzentriert sich auf Software und Datenverarbeitung sowie Halbleiter und elektrische Bauelemente, ergänzt durch Optik und Elektronik für Entwurfswerkzeuge. Anmeldungen reichen von 2000 bis in die Gegenwart.
483 Patente in unserer Datenbank
Vertreten von
Davies, Simon Robert
London, Großbritannien
1.092
Patente gesamt
27
Fachgebiete
13
Anmelder-Länder
Schwerpunkte
Weitere Vertreter
-
D Young & Co LLP
D Young & Co LLP · London