Here is a tutorial on Hawk, which I prepared in December 1999
as a demo presentation for V3 Semiconductor in Toronto.
It consists of four tutorial units, with 10 literate Haskell
modules and a lot of introductory material about Haskell
proper. Among other things you will find here a copy of a chapter
about I/O from Haskell Companion and an abridged html-ized version
of the paper "State in Haskell" by J.Launchbury and
S.L.Peyton-Jones.
Module "SymbolicMachine" from Unit 3 of this tutorial contains
several examples of concrete and symbolic simulation of
microprocessor models. Some examples included there were giving
me some trouble I described today in another thread.
To run this module you do not need Hawk library: all
what you need can be found in this directory.
Of all four units only the last one (specifically - module
"Super") needs the support from the Hawk library.
It describes the model of P6-like superscalar, out-of-order,
register-renaming microprocessor.
Most of the credit goes to the Hawk team, of course.
I am just a presenter, for better or for worse. I am
posting this tutorial as it was prepared in a hurry
before the lecture in Toronto. It badly needs further
editing, but since I opened a can of worms today:
here you are! If you want to run it, do not forget
to make symbolic links "html->lhs", or rename
the files apropriately. Enjoy!
www.numeric-quest.com/haskell/hawk/index.html
Jan
