Automatic approximation of assumptions for formal property verification

WO2010120490 Art A2 21. Oktober 2010

Anmelder: Synopsys, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2010120490
Aktenzeichen: EP10764842
Anmeldetag: 30. März 2010
Veröffentlichung: 21. Oktober 2010
Rechtsraum: WO
IPC: G06F17/50

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