The ESL Edge

Archive for November, 2008


Is formal gaining ground?

Over the past couple of years, I have sensed a growing dissatisfaction with constrained random stimulus generation techniques. I have written about this in several articles, including “Constrained random test struggles to live up to promises” in SCDSource. While this remains a workhorse for large parts of the verification problem, it is [...]


Dynamic vs Formal papers – lets be fair!

I have just returned from the Haifa Verification Conference in Israel, and I have to say – what a wonderful little conference. This was originally an internal event for the IBM research labs in Haifa to share their experiences and research with each other, but opened it up to all verification experts some years ago. [...]

© 2018 The ESL Edge | Entries (RSS) and Comments (RSS)

Design by Web4 Sudoku - Powered By Wordpress