Function secded_verilog 

pub fn secded_verilog() -> String

logos_secded.v: the line coder and decoder, every parity a mask of a word’s data bits read off encode’s codewords, every correction the data bit whose codeword position the syndrome names.