Writing a Sudoku solver using RTL code and assertions is not a hugely challenging task for seasoned engineers, but it still requires a significant amount of thinking and decision-making. I had a go at ...