GitHub repository: kcamenzind/BluespecIntroGuide
Description: An introductory guide to Bluespec (BSV)