Browse Prior Art Database

Generic Partitioning of the Floating Point Space for the Verification of Microprocessors

IP.com Disclosure Number: IPCOM000016799D
Original Publication Date: 2003-Jul-16
Included in the Prior Art Database: 2003-Jul-16

Publishing Venue

IBM

Abstract

This invention generally relates to the functional verification of microprocessors, and more specifically relates to an apparatus and a method preferable for testing Floating point (FP) operations for compliance with their architectural specification.