Month: November 2015

HVC’2015 trip report

November 26, 2015

I attended HVC’2015 last week. Here is a partial, very subjective trip report. HVC’2015 was good. I attended the tutorial day and the first two conference days, though I was absent from most of the hard-core formal-verification sessions. Here are the main things I learned: The Bristol folks Kerstin Eder, Dejanira Araiza-Illan and David Western … More HVC’2015 trip report

Is a Universal Verification Framework possible?

November 11, 2015

Summary: This post investigates the (slightly crazy) idea of creating “one universal verification framework for everything”, and claims that while the goal itself is probably impossible (for now), some interesting and worthwhile sub-goals are perhaps possible. As many people (including myself) have discussed before, there is no single “verification community”: there are really many verification … More Is a Universal Verification Framework possible?