Update June 12, 2007: Fixed out of date links to the Verilab blog.
By Thursday, I was exhausted, and most of the interesting sessions from a verification perspective had wrapped up. However, I did attend an interesting panel discussion on a new DRAM PHY Interface standardization effort. I also noticed that Verilab's very own David Robinson had finally worked out all of the details surrounding the publication of his book, "Aspect Oriented Programming with the e Verification Language". The book will be available August in the US and September in Europe.
During the afternoon I attended sessions on "SAT Techniques for Verification", "Management of Technologies Obsolescence and Supplier Dependence", and "Model-based Development of Embedded Control Systems". Having stayed up until 2:30am the previous evening writing entries for this blog and the Verilab blog, it was all I could do to keep my eyes open during these sessions, and so I decided to take a walk back to my hotel. Sadly, that meant I missed Peggy Aycinea's panel discussion on "Towards Total Open Source in Aeronautics and Space?".
Before I left the conference I swung by the Mentor Graphics booth to chat with the verification team about the current status of the AVM and Mentor SystemVerilog support. While I was there, I had the horrifying realization that Mentor Graphics is actually controlled by an evil space overlord, as evidenced by the picture above. Now, I was told that I was simply playing space invaders on a system made up of an emulator and a SystemC software layer, but we all know the truth, don't we.
Friday at DATE is a day for in-depth workshops on a variety of topics. I considered going to either a UML or Embedded Security workshop, but didn't feel the need to shell out 160 Euros for a session that might end up putting me to sleep. I'm leaving Nice this evening for a trip up to Paris to visit an old high school friend, and will be back in the States Sunday night. I can already tell that I'm going to have a fun day in the office on Monday.