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