RE: Review of chapter 12.5

["Andrew Piziali" <andy@verisity.com>]

Darren, you wrote:

>   If the CAI is becoming defacto, and will be included in the IEEE1647
>   standard, then it makes sense to use that rather than reinvent
>   something and have two things to support.  However (thinking a
>   little bit further this time.......), the syntax you have described
>   could simply be enough, as it would match the CAI requirements, and
>   anyone else could handle it however they wish.  I'm happy to go with
>   what you suggest.

You anticipated my response Darrin.  CAI defines an API for external
data sources (external to the e program) to interface to an e coverage
group.  The syntax I propose demands a given e compiler and runtime
environment offer such an external interface.

>   I also had a look at 12.8, and have submitted one rather trivial
>   change request.  I have a gut feeling that I may have missed
>   something there though, so someone may wish to recheck this chapter.

Thank you for reviewing 12.8.


-- 
	Andrew Piziali, <andy@verisity.com>, +1-972-516-3773

"If you cannot measure it -- if you cannot express it in quantitative
terms -- then your knowledge is of a meagre and insignificant kind."

                                        -- Lord Kelvin