Construction of algorithms functional verification decoder model

In this article the problem of verification decoder model used in the system of digital data transmission. Its relevance is associated with the need to control the accuracy of the calculations produced by decoding in the case of soft decisions demodulator.

Verification is carried out on RTL-level models of the decoder at the elementary algorithms of functioning. To enable the functional unit testing decoder developed algorithmic schemes which allow to localize inconsistencies RTL-code specifications, prompt correction of errors, using standard modeling tools.

For an example, the addition and multiplication modules, as well as a generator of test sequences, outstanding test vectors in the standard IEEE-754.