Überprüfung von Hardwaredesigns zur Implementierung von Gleitkommapotenzfunktionen

Details

Veröffentlichungs-Nr.

EP3239834

Aktenzeichen

EP17168094

Anmeldetag

25. April 2017

Veröffentlichung

8. Januar 2020

Erteilung

8. Januar 2020

Rechtsraum

EP

IPC

G06F7/552G06F7/483

Abstract

A method of exhaustively verifying a property of a hardware design to implement a floating point power function. The method includes, formally verifying that the hardware design is recurrent over sets of ² input exponents, wherein ² is an integer that is a multiple of the reciprocal of the exponent of the power function; and for each recurrent input range of the hardware design, exhaustively simulating the hardware design over a simulation range to verify the property is true over the simulation range, wherein the simulation range comprises only ² input exponents.

Anmelder

Firma

Imagination Technologies Limited

Land

🇬🇧 Großbritannien

Fachgebiete