Identifizierung von Bugs in einem Zähler Mithilfe von Formaler Verifizierung

EP3408768 Art B1 3. November 2021

Anmelder: Imagination Technologies Limited 🇬🇧

Details

Veröffentlichungs-Nr.: EP3408768
Aktenzeichen: EP17702915
Anmeldetag: 25. Januar 2017
Veröffentlichung: 3. November 2021
Erteilung: 3. November 2021
Rechtsraum: EP
IPC: G06F30/327

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: Imagination Technologies Limited
Land: 🇬🇧 Großbritannien

🇬🇧 Imagination Technologies

Britisches Halbleiter-Designunternehmen aus Kings Langley, das Grafikprozessor-IP-Kerne (PowerVR) sowie Prozessorarchitekturen für mobile Geräte, Automobil- und eingebettete Systeme entwickelt und lizenziert.

718 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von