Bluespec is a language that's getting attention from academia and industry: http://www.bluespec.com/