[sv-ec] new proposals, coverage Mantis items

I've updated 2 Mantis proposals in line with what we discussed today:

http://eda.org/svdb/view.php?id=1897 -- the new "get_inst_coverage" 
option applies only when the "merge_instances" option is set.

http://eda.org/svdb/view.php?id=1871 -- used language from first 
proposal "cannot be matched without also matching" instead of "contains".

-- David Scott
Mentor Graphics


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