moved parity aided polar regression test to own file

This commit is contained in:
Ahmet Inan 2025-12-22 12:35:42 +01:00
commit 2f4d090a57
3 changed files with 224 additions and 20 deletions

View file

@ -1,5 +1,5 @@
/* /*
Regression Test for the Polar Encoder and List Decoders Regression Test for the Polar Encoder and List Decoder
Copyright 2020 Ahmet Inan <inan@aicodix.de> Copyright 2020 Ahmet Inan <inan@aicodix.de>
*/ */
@ -16,7 +16,6 @@ Copyright 2020 Ahmet Inan <inan@aicodix.de>
#include "polar_list_decoder.hh" #include "polar_list_decoder.hh"
#include "polar_encoder.hh" #include "polar_encoder.hh"
#include "polar_sequence.hh" #include "polar_sequence.hh"
#include "polar_parity_aided.hh"
#include "crc.hh" #include "crc.hh"
#include "sequence.h" #include "sequence.h"
@ -31,11 +30,8 @@ int main()
const int N = 1 << M; const int N = 1 << M;
const bool systematic = false; const bool systematic = false;
const bool crc_aided = true; const bool crc_aided = true;
const bool par_aided = true;
static_assert(!par_aided || !systematic, "systematic and parity aided are mutually exclusive");
CODE::CRC<uint32_t> crc(0xD419CC15); CODE::CRC<uint32_t> crc(0xD419CC15);
const int C = 32; const int C = 32;
const int S = 32;
#if 1 #if 1
const int L = 32; const int L = 32;
typedef int8_t code_type; typedef int8_t code_type;
@ -77,18 +73,11 @@ int main()
frozen[i] = 0; frozen[i] = 0;
for (int i = 0; i < N - K; ++i) for (int i = 0; i < N - K; ++i)
frozen[reliability_sequence[i]/32] |= 1 << (reliability_sequence[i]%32); frozen[reliability_sequence[i]/32] |= 1 << (reliability_sequence[i]%32);
int P = K / (S + 1);
int F = K % (S + 1);
if (!crc_aided)
F += S;
if (par_aided)
K -= P;
std::cerr << "Polar(" << N << ", " << K << ")" << std::endl; std::cerr << "Polar(" << N << ", " << K << ")" << std::endl;
auto message = new code_type[K]; auto message = new code_type[K];
auto decoded = new simd_type[K]; auto decoded = new simd_type[K];
std::cerr << "sizeof(PolarListDecoder<simd_type, M>) = " << sizeof(CODE::PolarListDecoder<simd_type, M>) << std::endl; std::cerr << "sizeof(PolarListDecoder<simd_type, M>) = " << sizeof(CODE::PolarListDecoder<simd_type, M>) << std::endl;
auto decode = new CODE::PolarListDecoder<simd_type, M>; auto decode = new CODE::PolarListDecoder<simd_type, M>;
auto par_dec = new CODE::PolarParityDecoder<simd_type, M>;
auto orig = new code_type[N]; auto orig = new code_type[N];
auto noisy = new code_type[N]; auto noisy = new code_type[N];
@ -137,9 +126,6 @@ int main()
for (int i = 0, j = 0; i < N; ++i) for (int i = 0, j = 0; i < N; ++i)
if (!get_bit(frozen, i)) if (!get_bit(frozen, i))
assert(codeword[i] == message[j++]); assert(codeword[i] == message[j++]);
} else if (par_aided) {
CODE::PolarParityEncoder<code_type> encode;
encode(codeword, message, frozen, M, S, F);
} else { } else {
CODE::PolarEncoder<code_type> encode; CODE::PolarEncoder<code_type> encode;
encode(codeword, message, frozen, M); encode(codeword, message, frozen, M);
@ -166,10 +152,7 @@ int main()
int rank[L]; int rank[L];
auto start = std::chrono::system_clock::now(); auto start = std::chrono::system_clock::now();
if (par_aided) (*decode)(rank, decoded, codeword, frozen, M);
(*par_dec)(rank, decoded, codeword, frozen, M, S, F);
else
(*decode)(rank, decoded, codeword, frozen, M);
auto end = std::chrono::system_clock::now(); auto end = std::chrono::system_clock::now();
auto usec = std::chrono::duration_cast<std::chrono::microseconds>(end - start); auto usec = std::chrono::duration_cast<std::chrono::microseconds>(end - start);
double mbs = (double)K / usec.count(); double mbs = (double)K / usec.count();

View file

@ -0,0 +1,221 @@
/*
Regression Test for the Parity aided Polar Encoder and List Decoder
Copyright 2020 Ahmet Inan <inan@aicodix.de>
*/
#include <limits>
#include <random>
#include <chrono>
#include <cassert>
#include <iomanip>
#include <iostream>
#include <algorithm>
#include <functional>
#include "polar_helper.hh"
#include "polar_sequence.hh"
#include "polar_parity_aided.hh"
#include "crc.hh"
#include "sequence.h"
bool get_bit(const uint32_t *bits, int idx)
{
return (bits[idx/32] >> (idx%32)) & 1;
}
int main()
{
const int M = 10;
const int N = 1 << M;
const bool crc_aided = true;
CODE::CRC<uint32_t> crc(0xD419CC15);
const int C = 32;
const int S = 32;
#if 1
const int L = 32;
typedef int8_t code_type;
#else
const int L = 8;
typedef float code_type;
#endif
typedef SIMD<code_type, L> simd_type;
std::random_device rd;
typedef std::default_random_engine generator;
typedef std::uniform_int_distribution<int> distribution;
auto data = std::bind(distribution(0, 1), generator(rd()));
auto frozen = new uint32_t[N/32];
auto codeword = new code_type[N];
const int *reliability_sequence;
double erasure_probability = 0.3;
int K = (1 - erasure_probability) * N;
double design_SNR = 10 * std::log10(-std::log(erasure_probability));
std::cerr << "design SNR: " << design_SNR << std::endl;
if (0) {
auto construct = new CODE::PolarSeqConst0<M>;
std::cerr << "sizeof(PolarSeqConst0<M>) = " << sizeof(CODE::PolarSeqConst0<M>) << std::endl;
double better_SNR = design_SNR + 1.59175;
std::cerr << "better SNR: " << better_SNR << std::endl;
double probability = std::exp(-pow(10.0, better_SNR / 10));
std::cerr << "prob: " << probability << std::endl;
auto rel_seq = new int[N];
(*construct)(rel_seq, M, probability);
delete construct;
reliability_sequence = rel_seq;
} else {
reliability_sequence = sequence;
}
for (int i = 0; i < N / 32; ++i)
frozen[i] = 0;
for (int i = 0; i < N - K; ++i)
frozen[reliability_sequence[i]/32] |= 1 << (reliability_sequence[i]%32);
int P = K / (S + 1);
int F = K % (S + 1);
if (!crc_aided)
F += S;
K -= P;
std::cerr << "Polar(" << N << ", " << K << ")" << std::endl;
auto message = new code_type[K];
auto decoded = new simd_type[K];
std::cerr << "sizeof(PolarParityDecoder<simd_type, M>) = " << sizeof(CODE::PolarParityDecoder<simd_type, M>) << std::endl;
auto decode = new CODE::PolarParityDecoder<simd_type, M>;
auto orig = new code_type[N];
auto noisy = new code_type[N];
auto symb = new double[N];
double low_SNR = std::floor(design_SNR-3);
double high_SNR = std::ceil(design_SNR+5);
double min_SNR = high_SNR, max_mbs = 0;
int count = 0;
std::cerr << "SNR BER Mbit/s Eb/N0" << std::endl;
for (double SNR = low_SNR; count <= 3 && SNR <= high_SNR; SNR += 0.1, ++count) {
//double mean_signal = 0;
double sigma_signal = 1;
double mean_noise = 0;
double sigma_noise = std::sqrt(sigma_signal * sigma_signal / (2 * std::pow(10, SNR / 10)));
typedef std::normal_distribution<double> normal;
auto awgn = std::bind(normal(mean_noise, sigma_noise), generator(rd()));
int64_t awgn_errors = 0;
int64_t quantization_erasures = 0;
int64_t uncorrected_errors = 0;
int64_t ambiguity_erasures = 0;
int64_t frame_errors = 0;
double avg_mbs = 0;
int64_t loops = 0;
while (uncorrected_errors < 10000 && ++loops < 1000) {
if (crc_aided) {
crc.reset();
for (int i = 0; i < K-C; ++i) {
bool bit = data();
crc(bit);
message[i] = 1 - 2 * bit;
}
for (int i = 0; i < C; ++i) {
bool bit = (crc() >> i) & 1;
message[K-C+i] = 1 - 2 * bit;
}
} else {
for (int i = 0; i < K; ++i)
message[i] = 1 - 2 * data();
}
CODE::PolarParityEncoder<code_type> encode;
encode(codeword, message, frozen, M, S, F);
for (int i = 0; i < N; ++i)
orig[i] = codeword[i];
for (int i = 0; i < N; ++i)
symb[i] = codeword[i];
for (int i = 0; i < N; ++i)
symb[i] += awgn();
// $LLR=log(\frac{p(x=+1|y)}{p(x=-1|y)})$
// $p(x|\mu,\sigma)=\frac{1}{\sqrt{2\pi}\sigma}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}$
double DIST = 2; // BPSK
double fact = DIST / (sigma_noise * sigma_noise);
for (int i = 0; i < N; ++i)
codeword[i] = CODE::PolarHelper<code_type>::quant(fact * symb[i]);
for (int i = 0; i < N; ++i)
noisy[i] = codeword[i];
int rank[L];
auto start = std::chrono::system_clock::now();
(*decode)(rank, decoded, codeword, frozen, M, S, F);
auto end = std::chrono::system_clock::now();
auto usec = std::chrono::duration_cast<std::chrono::microseconds>(end - start);
double mbs = (double)K / usec.count();
avg_mbs += mbs;
int best = 0;
if (crc_aided) {
bool error = true;
for (int k = 0; k < L; ++k) {
crc.reset();
for (int i = 0; i < K; ++i)
crc(decoded[i].v[k] < 0);
if (crc() == 0) {
best = k;
error = false;
break;
}
}
frame_errors += error;
} else {
bool error = rank[0] == rank[1];
for (int i = 0; i < K; ++i)
error |= decoded[i].v[0] * message[i] <= 0;
frame_errors += error;
}
for (int i = 0; i < N; ++i)
awgn_errors += noisy[i] * (orig[i] < 0);
for (int i = 0; i < N; ++i)
quantization_erasures += !noisy[i];
for (int i = 0; i < K; ++i)
uncorrected_errors += decoded[i].v[best] * message[i] <= 0;
for (int i = 0; i < K; ++i)
ambiguity_erasures += !decoded[i].v[best];
}
avg_mbs /= loops;
max_mbs = std::max(max_mbs, avg_mbs);
double frame_error_rate = (double)frame_errors / (double)loops;
double bit_error_rate = (double)uncorrected_errors / (double)(K * loops);
if (!uncorrected_errors)
min_SNR = std::min(min_SNR, SNR);
else
count = 0;
int MOD_BITS = 1; // BPSK
double code_rate = (double)K / (double)N;
double spectral_efficiency = code_rate * MOD_BITS;
double EbN0 = 10 * std::log10(sigma_signal * sigma_signal / (spectral_efficiency * 2 * sigma_noise * sigma_noise));
if (0) {
std::cerr << SNR << " Es/N0 => AWGN with standard deviation of " << sigma_noise << " and mean " << mean_noise << std::endl;
std::cerr << EbN0 << " Eb/N0, using spectral efficiency of " << spectral_efficiency << " from " << code_rate << " code rate and " << MOD_BITS << " bits per symbol." << std::endl;
std::cerr << awgn_errors << " errors caused by AWGN." << std::endl;
std::cerr << quantization_erasures << " erasures caused by quantization." << std::endl;
std::cerr << uncorrected_errors << " errors uncorrected." << std::endl;
std::cerr << ambiguity_erasures << " ambiguity erasures." << std::endl;
std::cerr << frame_error_rate << " frame error rate." << std::endl;
std::cerr << bit_error_rate << " bit error rate." << std::endl;
std::cerr << avg_mbs << " megabit per second." << std::endl;
} else {
std::cout << SNR << " " << frame_error_rate << " " << bit_error_rate << " " << avg_mbs << " " << EbN0 << std::endl;
}
}
std::cerr << "QEF at: " << min_SNR << " SNR, speed: " << max_mbs << " Mb/s." << std::endl;
double QEF_SNR = design_SNR + 0.5;
assert(min_SNR < QEF_SNR);
std::cerr << "Polar parity regression test passed!" << std::endl;
return 0;
}

View file

@ -1,5 +1,5 @@
/* /*
Regression Test for the Polar Encoder and Decoders Regression Test for the Polar Encoder and Decoder
Copyright 2020 Ahmet Inan <inan@aicodix.de> Copyright 2020 Ahmet Inan <inan@aicodix.de>
*/ */