Re: PSL v1.1 draft A review // precedence

I forgot:

3) always (p -> q) falls very easily in the simple subset if p is boolean; (always p) -> q, if my interpretation of App. A is correct, does not (p.27, l.18; p. 103).

Cheers once more,

        Andrea.

-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
| Andrea Fedeli,  Functional Verification - Formal Methods |
|                              Technical Leader            |
|~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~|
| Email : andrea.fedeli@st.com | Central R&D - NVMDP       |
| Voice : +39 039 603 7147     | STMicroelectronics Srl    |
| FAX   : +39 039 603 5820     | 20041 Agrate Brianza (Mi) |
|                              | Via C. Olivetti, 2, Italy |
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~