Re: FW: BOUNCE vfv@eda.org: Non-member submission from [Håkan Hjort <hakan.hjort@safelogic.se>]

In my opinion Håkan remarks points out a missing "next" before "highest" in l. 39, p. 19. Am I right?

Cheers,

        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 |
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~