1<HTML>
2<HEAD>
3<SCRIPT LANGUAGE="JavaScript">
4<!-- Begin
5window.location="http://www.cl.cam.ac.uk/users/mjcg/Teaching/SpecVer1/SpecVer1.html";
6// End -->
7</script>
8<noscript>
9</HEAD>
10<BODY>
11<A HREF="http://www.cl.cam.ac.uk/users/mjcg/Sugar/">
12Semantic embedding of Accellera PSL (Sugar) in HOL</A>
13</BODY>
14</HTML>
15