Code Coverage
Slides
(PDF)
Tokeniser example
(plain text)
Fixed-point specification example
(HTML)