From jbowers@ai.mit.edu Wed Jun  5 10:38:28 1996
Return-Path: <jbowers@ai.mit.edu>
From: jbowers@ai.mit.edu (Jeff Bowers)
Date: Thu, 21 Sep 1995 15:47:36 -0400
To: skeckler
Subject: possible bug in rtl


Hi Steve,

I've found what looks like a bug in the rtl.  I got this result from the
netlisted schematic (/fpu/dsq_test/verify/fp_dsq.log):

C code:  a=0010000100000100 b=000000000000001c q=000092492db6db76
result:  a=0010000100000100 b=000000000000001c q=000092492db6db77

So I ran the same inputs on the rtl (/fpu/dsq_test/verify/rtl_test/fp_dsq.log)
and got this result:

C code:  a=0010000100000100 b=000000000000001c q=000092492db6db76
result:  a=0010000100000100 b=000000000000001c q=000092492db6db77

It looks like the rtl is giving the wrong result.  I'm going to look at this
further to see if I can figure out what's going on, but I thought I'd 
alert you to it as well.  

--Jeff


