David,

LRM-187 is correct.

Also, would it be possible for you to make 1 small correction to the VPI diagrams:

in the diagram in section 30.31, in the diagram at the bottom of the page (the property expr diagram), could you change the font of the last object (the clocked property object) to bold.

If it would be easier, I already have this change in my framemaker sources.

Thanks,

Joao ==============================================================================

Joao Geada, PhD Principal Engineer Verif Tech Group

Synopsys, Inc TEL: (508) 263-8083

377 Simarano Drive, Suite 300, FAX: (508) 263-8069

Marlboro, MA 01752, USA ==============================================================================