I've spoken a few times with the author, he's quite a decent guy. He's quite active in advocating for formal verification on FPGA's, and is happy to spend time

I've spoken a few times with the author, he's quite a decent guy. He's quite active in advocating for formal verification on FPGA's, and is happy to spend time on forum threads teaching those who ask good questions and are willing to learn.