Haiming code generation and verification circuit design