michael-roe

Hi Derek, Thanks for the reply. A possible reason why not to use FECAPI is that I'm adding a tag to indicate that the block wasn't correctable. I think this...

If you guys are in the mood for doing a small amount of code review, please could you also take a look at markov_source in https://github.com/michael-roe/gr-c4fm/tree/master/lib It's related to this...

https://ntrs.nasa.gov/api/citations/19810024821/downloads/19810024821.pdf R.L. Miller, L. J. Deutsch, S.A. Butman, On the Error Statistics of Viterbi Decoding and the Performance of Concatenated Codes. NASA Jet Propulsion Laboratory, 1981.

Ok, so what I'm trying to do with this block is to approximate the burst errors at the output of a Viterbi decoder. As per the NASA JPL report (and...

Also: bernoulli_source is straighforward, I think. The model that bit errors are independent with probability p is a useful one to have.

The simpler Markov model - enter state S1 with probability p_start, leave S1 with probability p_stop, when in state S1 generate an error with probability p_error - would also work...

markov_source implementation, documentation and tests updated to a new (and simpiler) specification. Does that look any better?

It would be good if we ran QA on risc-v. I think it will fail because of the issue to do with passing a C++ complex as an argument to...

The third one of these theorems is closely related to float_infinities in binary_ieeeScript.sml. The critical difference is that it uses float_equal rather than =. (testing for x = float_minus_infinity is...

We might also need: `` ! x y . (float_is_infinite x) ==> ((float_equal x y) (x = y)) `` float_equal is not the same as = for zeros and nans,...