Documentation of formal verification results and issues on the WARP-V RTL- Six Stage from Steve Hoover