My first experience with Formal Methods
http://zipcpu.com/blog/2017/10/19/formal-intro.html [zipcpu.com]
2017-10-21 16:34
Please keep in mind, I’m only a beginner at formal methods. I’ve never used any of them before this week, but I’ve already found several problems in my own code using them. Are formal methods worth the effort? Well, for me and in this example, they were.
Checking a verilog hardware design.
source: HN