I try to keep a list of useful open source hardware verification tools: https://github.com/ben-marshall/awesome-open-hardware-verifi...