The LARD Papers

Papers

• From Behavioural Models to Silicon: Tools for the AMULET3 Project
  My rejected async98 paper, describing how LARD has been used for AMULET3, focusing on the test generation problems.

• Modelling and Simulation of Asynchronous Systems using the LARD Hardware Description Language
  Background blurb about LARD - the first published paper!

• Behavioural Modelling of Asynchronous Systems for Power and Performance Analysis
  My PATMOS '98 paper about using LARD to investigate the performance issues in asynchronous systems.

Presentations

• Architectural Modelling Using LARD
  Copies of my slides from the 3rd UK Async Forum, Edinburgh, December 97.

The STUMP Model

A LARD model of a 16-bit RISC processor called STUMP was used as an example in my UK Async Forum tutorial (Edinburgh, December 97), my ACiD workshop presentation (Turin, January 98), and my PATMOS paper. The following material is available to support those presentations:

• Source for the LARD model of the STUMP processor
• The STUMP assembler
• More information about the STUMP architecture, taken from the CS222 lab manual