Introduction to Bluespec