[sv-ac] feedback on 2088 and 2089

Hi Tom,

My feedback on 2089, and one more on 2088,

1. Why wasn’t this text also updated for 2088?   Also, there are font issues with the PDF for initial_check (these font issues are also in the checker proposal itself).
		A checker body may contain the following elements:
				 Declaration of let, sequences, properties and functions.
				 Concurrent assertions.
				 Free variables and their assignments (see 16.18.5).
				 Default clocking and disable declarations.
				 initial_check, and always_check, and final procedures (see 16.18.4).
				 Generate blocks, containing any of the above elements.
2. Minimally there should be a note that changes are needed to the VPI diagrams when the checker VPI is added.  Same applies to 2088.

Lisa

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