Accelerating coverage convergence using symbolic properties

WO2012141819 Art A1 18. Oktober 2012

Anmelder: Synopsys, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2012141819
Aktenzeichen: EP12772039
Anmeldetag: 2. März 2012
Veröffentlichung: 18. Oktober 2012
Rechtsraum: WO
IPC: G06F17/50G06F9/455G06F11/36

Offizieller Volltext

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

Fachgebiete

Software & Datenverarbeitung

Vertreten von