This directory contains the PostScript for John Van Tassel's PhD dissertation
entitled "Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding
in the HOL Theorem-Prover".  The document runs to 122 pages, and is 
formatted for A4-sized (British) paper.  It should, however, print on
US 8.5x11 paper.  The files should be uncompressed and printed in the
following order:

   Bibliography.ps
   AppendixB.ps
   AppendixA.ps
   Ch7.ps
   Ch6.ps
   Ch5.ps
   Ch4.ps
   Ch3.ps
   Ch2.ps
   Ch1.ps
   TableofContents.ps
   Acknowledgements.ps
   Abstract.ps
   Copyright.ps
   Dedication.ps
   Title.ps

This dissertation is also available as University of Cambridge Computer
Laboratory Technical Report 317.  Copies may be obtained by writing to:

   University of Cambridge
   Computer Laboratory Bookshop
   New Museums Site
   Pembroke Street
   Cambridge  CB2 3QG
   ENGLAND

John Van Tassel
12 November 1993

<div align="center"><br /><script type="text/javascript"><!--
google_ad_client = "pub-7293844627074885";
//468x60, Created at 07. 11. 25
google_ad_slot = "8619794253";
google_ad_width = 468;
google_ad_height = 60;
//--></script>
<script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/show_ads.js">
</script><br />&nbsp;</div>