Hello Everyone, I have uploaded the first cut of a proposal for Mantis 2088: "Allow checker construct to include covergroups" The proposal is pretty simplistic at this point (only three pages), and I'm probably missing some details at this point: Here are the things I have thought about: 1. I assume that somewhere a VPI diagram will need to be modified. But looking at the VPI diagram for a module, I didn't see an explicit box for a covergroup. 2. Currently covergroups are not allowed within procedural blocks, while properties, sequences, and assertions are. In addition, Erik is working on 1995 to allow assertions within procedural loops. Given that checkers would be allowed within procedural blocks and loops as well, will this cause problems for covergroups in a checker, which is instantiated in a procedural loop? 3. There should be no changes required to Annex F, correct? Thanks for taking a look! Tom -- ------------------ Thomas J. Thatcher Sun Microsystems ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Nov 29 09:44:27 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 29 2007 - 09:45:01 PST