From transistors to computer architecture: Teaching functional circuit specification in Hydra

FREE-DOWNLOADJ O’Donnell – … and systems: 11th European Symposium on …, 2002
From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra
John O’Donnell University of Glasgow Abstract. Hydra is a set of methods and software tools
for carrying out digital circuit design using Haskell. It has been used successfully for three