HVC’2015 trip report

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

Terminology for multiple verification tribes

Summary: this post discusses the fact that different groups use different verification terminologies, explains why this is a problem, and suggests a common terminology page. One problem with verification is that it consists of multiple “verification tribes” or v-tribes, with different terminology and habits. There is the HW v-tribe, which I am coming from: We … More Terminology for multiple verification tribes