Advanced features of bluespec