[$ieee-1850] english mode for assertions

all,

to celebrate the release of psl 1850-2010, here is a great post on the
verification guild by alan fitch of doulos:

>Hi Glb, the English mode for assertions is called "PSL"

http://verificationguild.com/modules.php?name=Forums&file=viewtopic&t=3730&start=0

(scroll all the way down to the very bottom.)

enjoy,

cindy.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.