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