The ESL Edge

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 [...]

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. [...]