Formal verification has gone through a number of eras. In the early 1990s, it was an area mostly of academic interest, only able to handle toy problems. Then, in 1994, was the infamous FDIV bug. As...
[[ Click on the title to access the full blog on the Cadence Community site. ]]
[[ Click on the title to access the full blog on the Cadence Community site. ]]