Software guys should be at least passingly familiar with the idea of rigorously spec-driven design- that's what gluggymug is talking about.

You know how in software you always say, "We don't have time for that"? Well, it's a lot harder to get away with skipping it in HDL.