Livelock-Erkennung in einem Hardware Design mit Formeller Verifikation

EP3261002 Art B1 3. Januar 2024

Anmelder: Imagination Technologies Limited 🇬🇧

Details

Veröffentlichungs-Nr.: EP3261002
Aktenzeichen: EP17176642
Anmeldetag: 19. Juni 2017
Veröffentlichung: 3. Januar 2024
Erteilung: 3. Januar 2024
Rechtsraum: EP
IPC: G06F30/3323G06F11/07G06F11/30G06F30/333

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