Re: errata/44: For page 64, Section 4, example 4.4.3 -- value can't be verified

From: Michael McNamara (mac@verisity.com)
Date: Mon Oct 08 2001 - 20:00:01 PDT


Precedence: bulk

The following reply was made to PR errata/44; it has been noted by GNATS.

From: Michael McNamara <mac@verisity.com>
To: Adam Krolnik <krolnik@lsil.com>
Cc: btf-bugs@boyd.com
Subject: Re: errata/44: For page 64, Section 4, example 4.4.3 -- value can't be verified
Date: Mon, 8 Oct 2001 19:59:37 -0700

 Adam Krolnik writes:
> Precedence: bulk
>
> The following reply was made to PR errata/44; it has been noted by GNATS.
>
> From: Adam Krolnik <krolnik@lsil.com>
> To: tiao@agere.com
> Cc: btf-bugs@boyd.com
> Subject: Re: errata/44: For page 64, Section 4, example 4.4.3 -- value can't be verified
> Date: Mon, 08 Oct 2001 17:01:50 -0500
>
> >if so, how can a * b results in a value of 96?
>
> What is A * F equal to?
>
> what is the default base?
>
>
> A * F == 96 (when the base is 16)
 Agreed.
 
>
> as (from Hitchhikers Guide) 6 * 8 = 42 (when the base is 13)
 
 No, 6*8 = 39 in base 13 (48 = 3*13 + 9)
 
 Perhaps you (or Douglas Addams, I haven't checked my copy to see if
 the error is yours or his) meant that '6*9 = 42 (when the base is 13)'
 
 -mac
 
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
>



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:46 PDT and
sponsored by Boyd Technology, Inc.