LARD Documentation Home Page

Welcome to LARD, the Language for Asynchronous Research and Development. This is the LARD documentation home page. You can find language and tool reference manuals, a tutorial, technical and release notes and other miscellaneous information here. Try the search facility below to locate pages containing a certain keyword.

Search

Enter a keyword to search all LARD documentation:

User Documentation:

• Introduction
  What this is all about.
• Installation notes.
  How to obtain and install LARD.
• Bugs and Feedback
  How to submit bug reports, and how to hear about updates through the LARD mailing list.
• LARD Tutorial.
  A step-by-step introduction to the language and tools with examples.
• LARD Language Reference Manual.
  Comprehesive description of the language with a page on each function.
• LARD Compilation Tools User Guide.
  "man page" type documentation for the LARD compiler and related tools.
• LARD Interpreter User Guide.
  Documentation for the LARD interpreter li, describing the graphical and batch-mode interfaces and how to write tcl modules.
• The LARD Papers.
  Postscript versions of various papers and presentations about LARD, and also source for the STUMP processor example.
• Lard Test Vector Generation
  How to drive a TimeMill transistor-level simulation with test vectors from LARD, including cosimulation for systems with arbiters. (Manchester users only.)

Release Notes:

• Latest version (2.0.14)
• Index

Technical Notes:

The information in these documents is probably not of interest to most lard users.

• The icode intermediate format and the LARD virtual machine.
• The bcode binary file format.
• The dcode pre-parsed file format.
• Low-level interface to the LARD scheduler.
• Implementation of the LARD Strings Package.