[sv-ac] effort statement

 The SV-AC determined effort estimates for the twelve categories as
follows:
 
 1. AMS assertions (4 months)

 2. Checker usability (4 months)

 3. Assertion system functions (1.5 months)

 4. Inference (0.5 month)

 5. Sampling (2 month)

 6. Local variables (1.5 months)

 7. Scoping (6 months)

 8. Type system (4 months)

 9. Covergroups (4 months)

10. Formal Semantics (1 month)

11. Vacuity (0.5 month)

12. Temporal logic (1 month)

This amounts to 30 months of development effort. We believe that 2
months also need to be allocated for errata and minor issues. The
assumption is that the committee can work on 2 major items in parallel.
Therefore, the 17 months remaining in the PAR are enough provided we can
begin development work soon. However, the committee understands that
these estimates are approximate and the difficulty of resolving some
items is not well understoood. The committee may decide not to resolve
some items under a category.

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