Cool Verification

The Power of "New Media"

At DVCon this past February I had the pleasure of meeting Ron Ploof, New Media Evangelist for Synopsys.  Ron helps run (among other things) the Synopsys blogging site.  He also has his own blog, RonAmok!  Earlier today Ron posted a video describing his experiences after posting a video about his bad experience with buying flowers online (got that?).  It's a fascinating look at what happens when your average, everyday Joe (or Ron in this case) posts content about a company on the Internet.  Though I've never posted video, I have seen this sort of thing happen on Cool Verification.  I'd highly recommend folks take a look (and special kudos to Ron - I'm impressed with the quality of the video!).

DAC, Accellera and Web 2.0

It's been awhile but don't worry, I'm still here!  If you'd like to see what I'm up to in real-time feel free to check out my Twitter feed (also from the Cool Verification homepage).  I'm testing out Twitter (and some other new web apps such as Jott and Remember the Milk) in preparation for DAC and apparently as a way to convince myself and my wife (ok, just my wife) that I need an iPhone.  I've also got some cool things to announce about Verilab and our activities at DAC this year - look for more in the next week or so on that front.  Also, if you look at the Accellera membership roster you'll notice a new name has appeared - that's right, Verilab is now a member!  I called into my first Accellera meeting last week - the Verification IP Technical Subcommittee meeting.  No major drama... yet :-).

Stay tuned...

Blogging "Birds-of-a-Feather" Session @ DAC 2008

Last year before DAC I wrote about the possibility of holding a birds-of-a-feather session related to blogging, but wasn't able to drum up much interest.  With more Cool Verification readers than ever this year and after some interesting discussions at DVCon I figured it was worthwhile to throw the idea out there again.  If you're a blogger or interested in the topic of blogging in general and are planning on attending DAC this year, let me know!  Or, if weren't planning on attending DAC but are interested in blogging perhaps this will be the event that makes it worth your while to swing by.  Possible topics for the session could include:

• For everyone, short technical talks about the things we write about on our blogs - verification, DFT, journalism, memory, EDA standards, etc.
• For the non-bloggers in attendance:
  • How to get started blogging
  • Issues involved with starting a corporate blog (especially relevant for CEOs wondering what this whole blogging thing is about and whether it could help your business)
  • Ideas on what your new blog could be about
  • Why Deepchip isn't really a blog ;-)
• For the bloggers:
  • How to track web stats and feed subscriptions
  • Best known methods for which software to use
  • How to deal with requests from PR departments, etc
  • How to cover current events on your blog
  • How to write articles that even the journalists will love
  • Using photography to enhance your blog
  • etc

I'll be working with a few others to contact those of you with blogs that we  know about in the coming weeks, but if you see this and are interested please post a comment or drop me an email at jl at coolverification dot com.

DATE Day 2 - Famous Faces, Low Power, OVM, Robots and... Coat Checkers?

My first stop of the day was to sit in on session 4.2 - High Level Validation Models.  A few things caught my attention at this session.  First, and reminiscent of my experience last year at DATE was a comment made by the third presenter, Joao Marques-Silva from Southampton University in the UK.  The title of Joao's presentation was "Algorithms for Maximum Satisfiability Using Unsatisfiable Cores."  During his opening remarks, Joao mentioned that knowledge of SAT solvers was required to understand his presentation.  He continued: "If you don't understand SAT, tough!"  Eh?  Many of the talks last year had this type of strong academic bent.  I believe many of the session attendees did understand SAT, but for those of us who didn't the discussion that followed was absolutely meaningless. 

DATE 2008 - Day 1

While DATE officially started yesterday with a full day of tutorials, today was the first day of the main portion of the conference.  The morning started out with the opening address, awards, and keynotes from Dr. Giovanni De Micheli, Professor and Director of the Institute of Electrical Engineering and of the Integrated Systems center at EPFL in Lausanne, Switzerland (below top) and Dominique Vernay, CTO of Thales in Paris, France (below bottom).