The ESL Edge

Limor Fix writes:
I am very proud of DAC’s program this year. As usual, the program is so rich that it is impossible to cover all of it in only a few words. Thus, I have chosen to tell you about one of the many “diamonds” in the DAC technical program.

Session 28, “Jumping the High-Level Verification [...]

The loss of Air France flight 447 is a tragedy principally in terms of human life, but also in the possible knock-on effect that it could have in the high-tech industry. Many years ago, I was a designer of flight control computers for Airbus and I remember at that time how uncomfortable I felt about [...]