Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.

Jonathan P. Bowen

Browse the full IFM paper archive.