1
2Accellera standard Property Specification Language (PSL/Sugar) in HOL
3
4The contents of this directory are
5
6README ......................... This file
7official-semantics ............. Directory containing official Accellera semantics
8executable-semantics ........... Directory containing start of an executable semantics
9regexp ......................... Directory containing regular expression matcher
10Manual ......................... Directory containing old papers on the semantics
11index.html ..................... Pointer to MJCG's Sugar page (latest versions here)
12
13
14(*****************************************************************************)
15(*                             ACKNOWLEDGEMENT                               *)
16(* The work here would not have been possible without the help of Cindy      *)
17(* Eisner and Dana Fisman of IBM. They provided help when I was stuck,       *)
18(* and suggested solutions to problems such as 1 and 2 above.                *)
19(*****************************************************************************)
20
21MJCG
22Mon Jan 27 16:18:00 GMT 2003
23Wed Mar 19 20:22:03 GMT 2003
24