without having looked at it in much detail, does anyone know how/whether this is related at all to bluespec (http://en.wikipedia.org/wiki/Bluespec,_Inc.)?