RegAnalyzer -A tool for programming analysis and debug for verification and validation