O'Donnell, 2013. Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language 106.. https://doi.org/10.4204/eptcs.106.2