Title: Automated hardware and fireware design verification