Formal verification of temporal properties expressed using local variables

WO2014201295 Art A1 18. Dezember 2014

Anmelder: Synopsys, Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2014201295
Aktenzeichen: EP14810840
Anmeldetag: 12. Juni 2014
Veröffentlichung: 18. Dezember 2014
Rechtsraum: WO
IPC: G06F15/173

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