IEEE 754R minutes from 10 December, 2003

Attendance

• Dan Zuras
• Laurent Fournier, IBM
• Dick Delp
• Eric Schwarz
• Jeff Kidder
• Peter Markstein
• Prof. Kahan
• Jason Riedy
• Jim Thomas
• Ivan Godard
• John Hauser
• Alex Liu (phone)
• Mark Erle (phone)
• Joe Darcy (phone)

Note taker: Eric Schwarz, IBM

Here are my notes from Day One, Day two was draft review and I didn't take notes.

Basically Laurent Fournier presented and we just went over the test case plan. Biggest discussion centered around providing just conformance tests or whether to provide correctness tests. Also, some discussion on whether it should be precision independent (more difficult for Laurent) or precision dependent.

Laurent Fournier presented "A test-suite for IEEE Standard" lasted with questions first 2 hours

• mentioned internals of FPGEN
• analytic, search engines - binary search, stochastic search, SAT, reduction
• Generic Test Plan
• Kahan calls it "Reimann Analytic Testing" - test all singularities and region around each singularity
• Proposal tidbit: "Coonen suite was to verify Zilog in a hurry"

Jim Thomas pointed out that standard is missing BFP to external Decimal strings operations

Sun tools for hardware test (Kahan/Liu) ... only specific to their assembler and not described

discussion of precision independent - Jim Thomas argued for tests supporting 80-82 bit

Eric Schwarz suggested 1 precision independent case for each class of testing

conformance vs correctness (Ivan)

• Ivan argued for conformance
• Dan, Kahan, Eric argued for correctness
• algorithm vs implementation correctness Ivan
• Kahan stated algorithm bugs

Missing stuff:

• Transcendentals - Hough has some programs (mathlib under ucbtest)
• Predicates - need tests for these operations
• Integers - 32, 64, signed or decimal

Dan to investigate email reflector for test issues (Zuras, Kahan, Fournier, Cowlishaw, etc). Hauser will provide program to run test vectors

tidbit: "Paranoia written when IBM PC came out " (Kahan)

Next meeting: Jan 14-15 Jim Thomas HP Cupertino

Thursday was draft review.

Jan 14-15 Jim Thomas HP Cupertino
Feb 18-19 Peter Markstein HP Palo Alto
Mar 17-18 Joe Darcy Sun Santa Clara
Apr 14-15 Cowlishaw/Schwarz IBM Santa Teresa?
May 12-13 Jeff Kidder Intel Santa Clara