* ========== Copyright Header Begin ==========================================
* OpenSPARC T2 Processor File: BL_Hamming_64_8_Synd.h
* Copyright (c) 2006 Sun Microsystems, Inc. All Rights Reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES.
* The above named program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public
* License version 2 as published by the Free Software Foundation.
* The above named program is distributed in the hope that it will be
* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
* You should have received a copy of the GNU General Public
* License along with this work; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
* ========== Copyright Header End ============================================
/************************************************************************
** Copyright (C) 2006, Sun Microsystems, Inc.
** Sun considers its source code as an unpublished, proprietary
** trade secret and it is available only under strict license provisions.
** This copyright notice is placed here only to protect Sun in the event
** the source is deemed a published work. Disassembly, decompilation,
** or other means of reducing the object code to human readable form
** is prohibited by the license agreement under which this code is
** provided to the user or company in possession of this copy.
*************************************************************************/
#ifndef __BL_Hamming_64_8_Synd_h__
#define __BL_Hamming_64_8_Synd_h__
#include "BL_HammingEcc.h"
class BL_Hamming_64_8_Synd
: public BL_BaseSynd
BL_Hamming_64_8_Synd(uint32_t syndrome
) : BL_BaseSynd(syndrome
)
fprintf(stderr
,"ERROR: Bad Syndrome!");
BL_Hamming_64_8_Synd(uint64_t data
, BL_EccBits ecc
) :
BL_BaseSynd(BL_HammingEcc::
get_hamming_64_8_synd(data
,ecc
.get()).getSyndrome())
~BL_Hamming_64_8_Synd() {}
bool isDoubleBitError() const { return (syndrome_
- 1) < 0x7F; }
bool isSingleBitError() const { return (syndrome_
- 0x80) < 0x48; }
// ((syndrome_ - 0x80) & syndrome_ - 0x81)) returns true if
// "syndrome_ - 0x80"is *NOT* a power of 2. See Table A-3 to see
// that this is true for all data bits.
bool isDataBitError() const
return (isSingleBitError() && ((syndrome_
- 0x80) & syndrome_
- 0x81));
// This method works because the check bits are at powers of 2
// (after substracting 0x80) so the data bits break up into
uint32_t getDataBit() const
fprintf(stderr
,"ERROR: Not data bit error!");
uint32_t bit
= syndrome_
- 0x80;
return (bit
>= 0x40) ? bit
- 8 : bit
- 7;
// ((syndrome_ - 0x80) & (syndrome_ - 0x81)) returns true if
// "syndrome_ - 0x80" is a power of 2. See Table A-3 to see
// that this is true for all check bits.
bool isCheckBitError() const
return (isSingleBitError() && !((syndrome_
- 0x80) & syndrome_
- 0x81));
// This method works because the check bits are at powers of 2
// (after substracting 0x80) so this divide and conquer search
uint32_t getCheckBit() const
fprintf(stderr
,"ERROR: Not check bit error!");
uint32_t bit
= syndrome_
- 0x80;
return (bit
>= 0x40) ? 6 : 5;
return (bit
== 0) ? 7 : bit
- 1;
bool isMultipleBitError() const { return (syndrome_
- 0xc8) < (0x38); }
static BL_EccBits
calc_check_bits(unsigned long long data
)
return BL_HammingEcc::calc_check_bits(BL_HammingEcc::BL_Hamming_64_8
, data
);
#define BL_HAMMING_64_8_DIE(S) { \
fprintf(stderr, S " line: %d\n", __LINE__); \
uint64_t data
= 0x123456789ABCDEF;
uint32_t ecc
= BL_Hamming_64_8_Synd::calc_check_bits(data
).get();
BL_Hamming_64_8_Synd syndrome
=
BL_HammingEcc::get_hamming_64_8_synd(data
, ecc
);
BL_HAMMING_64_8_DIE("NoError fails");
for (i
= 0; i
< 64; ++i
) {
BL_HammingEcc::get_hamming_64_8_synd((1ULL<<i
)^data
, ecc
);
BL_HAMMING_64_8_DIE("NoError succeeds");
if (!syndrome
.isSingleBitError())
BL_HAMMING_64_8_DIE("isSingleBit fails");
if (syndrome
.isDoubleBitError())
BL_HAMMING_64_8_DIE("isDoubleBit succeeds");
if (syndrome
.isMultipleBitError() || syndrome
.isUncorrectableError())
BL_HAMMING_64_8_DIE("isMultipleBit/isUncorrectable succeeds");
if (syndrome
.getDataBit() != i
)
BL_HAMMING_64_8_DIE("getDataBit mismatch");
for (i
= 0; i
< 8; ++i
) {
BL_HammingEcc::get_hamming_64_8_synd(data
, (1ULL<<i
)^ecc
);
BL_HAMMING_64_8_DIE("NoError succeeds");
if (!syndrome
.isSingleBitError())
BL_HAMMING_64_8_DIE("isSingleBit fails");
if (syndrome
.isDoubleBitError())
BL_HAMMING_64_8_DIE("isDoubleBit succeeds");
if (syndrome
.isMultipleBitError() || syndrome
.isUncorrectableError())
BL_HAMMING_64_8_DIE("isMultipleBit/isUncorrectable succeeds");
if (syndrome
.getCheckBit() != i
)
BL_HAMMING_64_8_DIE("getCheckBit mismatch");
for (i
= 1; i
< 64; ++i
) {
for (j
= 0; j
< i
; ++j
) {
BL_HammingEcc::get_hamming_64_8_synd((1ULL<<i
)^(1ULL<<j
)^data
,
BL_HAMMING_64_8_DIE("NoError succeeds");
if (syndrome
.isSingleBitError())
BL_HAMMING_64_8_DIE("isSingleBit succeeds");
if (!syndrome
.isDoubleBitError())
BL_HAMMING_64_8_DIE("isDoubleBit fails");
if (syndrome
.isMultipleBitError())
BL_HAMMING_64_8_DIE("isMultipleBit succeeds");
if (!syndrome
.isUncorrectableError())
BL_HAMMING_64_8_DIE("isUncorrectable fails");
for (i
= 1; i
< 8; ++i
) {
for (j
= 0; j
< i
; ++j
) {
BL_HammingEcc::get_hamming_64_8_synd(data
,
(1ULL<<i
)^(1ULL<<j
)^ecc
);
BL_HAMMING_64_8_DIE("NoError succeeds");
if (syndrome
.isSingleBitError())
BL_HAMMING_64_8_DIE("isSingleBit succeeds");
if (!syndrome
.isDoubleBitError())
BL_HAMMING_64_8_DIE("isDoubleBit fails");
if (syndrome
.isMultipleBitError())
BL_HAMMING_64_8_DIE("isMultipleBit succeeds");
if (!syndrome
.isUncorrectableError())
BL_HAMMING_64_8_DIE("isUncorrectable fails");
#undef BL_HAMMING_64_8_DIE