Growing up in the '80s can damage your memory – particularly when it comes to bad music.
At DVCon 2015 in San Jose I spoke with Michael Theobald, PhD, who is an adjunct professor at Columbia University, and he told me about the Columbia campus in New York City, which I have never visited. Immediately, the awful song: New York - Rio -Tokyo came to mind and now it is stuck in my head (Google it at your own risk – you have been warned.) Consequently, I decided to transform this song title into the title of this blog post.
When Michael teaches his students about formal analysis, he puts his verification approach in context, and in particular, when he talks about formal analysis for hardware verification.
He told me that he recommends that his students to check out the Functional Verification course CS348 at Udacity, which was developed by Cadence. As of now, over 17,000 students have enrolled in this specialized course.
(Please visit the site to view this video)
So what does all of this have to do with the cities listed in the title: New York – Boston/Brighton Mountain View? It’s easy:
- New York is the location of Columbia University
- Boston is where yours truly lives; actually in a suburb of Boston
- Brighton, UK is where my colleague and co-instructor Hannes Fröhlich lives
- Mountain View is where Udacity is located
Michael, Hannes, and I share a passion for great education. Hannes and I are happy to see that Michael can leverage our work to expand the skills and knowledge of his students.
Also, I am happy to educate you not only on the concepts and technical aspects of verification, but also on “important” aspects of our modern culture. For example, the chorus of the original New York-Rio-Tokyo lyrics are:
In New York - Rio - Tokyo
Or any other place you see,
You feel that dancing fantasy.
The 2015 version of the song should go like this:
In New York – Boston/Brighton – Mountain View
Or any other place you see
You feel that verification methodology.
Keep on learning!
Axel Scherer