GitHub repository: perlejr/bsv-chef
Description: A simple toy system for the course PA1417 Basic System Verification