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