Hi All, My AI: " - P1800 meeting. First draft will be the middle of next month. We will have about 1 month to complete our review. There was a long presentation about the SV-AC committee. New global clocking scheme? Francoise asked if anyone knew if there was a mantis item or items on this topic. Bassam said there were and he would send out the item(s)" You can find all the items by searching mantis for SV-AC and Assigned to Dmitry, 1530 is the one with a zip file for slides of all the items/motivation etc... by Dmitry. Not sure how up to date slides are, but they get the idea across. Some items were split off into individual mantis items: 0001460 7 SV-AC minor resolved (Dmitry_Korchemny) 03-01-07 Allow actions within assume property statement 0001591 2 SV-AC minor resolved (Dmitry_Korchemny) 02-14-07 17.7.3, 22.9: $past syntax not precise 0001677 1 SV-AC minor resolved (Dmitry_Korchemny) 02-06-07 Add $changed sampled value function 0001036 2 SV-AC feature assigned (Dmitry_Korchemny) 11-30-06 Incorporate by reference Accellera PSL 0001147 2 SV-AC feature assigned (Dmitry_Korchemny) 11-30-06 find way to embed PSL 0001383 1 SV-AC feature assigned (Dmitry_Korchemny) 01-11-07 Property coverage definition 0001494 SV-AC minor assigned (Dmitry_Korchemny) 06-06-06 Infering enabling condition for coverage statement 0001498 SV-AC minor assigned (Dmitry_Korchemny) 06-06-06 Treat disable iff differently for cover property statement 0001502 SV-AC text assigned (Dmitry_Korchemny) 11-30-06 Decision point definition 0001530 1 SV-AC major assigned (Dmitry_Korchemny) 11-30-06 SVA enhancement proposal 0001551 SV-AC minor assigned (Dmitry_Korchemny) 11-30-06 Make disable iff sampled 0001627 SV-AC minor assigned (Dmitry_Korchemny) 11-30-06 17.16: clarify that expect statement not allowed in functions 0001646 1 SV-AC feature assigned (Dmitry_Korchemny) 11-12-06 Generate constructs within properties and sequences 0001647 3 SV-AC feature assigned (Dmitry_Korchemny) 11-14-06 Type query functions 0001648 SV-AC feature assigned (Dmitry_Korchemny) 02-25-07 Default reset for assertions 0001675 SV-AC minor assigned (Dmitry_Korchemny) 11-15-06 Assertion system function syntax is not complete 0001681 SV-AC feature assigned (Dmitry_Korchemny) 02-07-07 Introduce global clocking 0001682 SV-AC feature assigned (Dmitry_Korchemny) 02-07-07 Future value functions 0001683 SV-AC feature assigned (Dmitry_Korchemny) 11-22-06 Relax rules for building multiclocked properties Thx. -Bassam. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Mar 1 12:18:42 2007
This archive was generated by hypermail 2.1.8 : Thu Mar 01 2007 - 12:19:03 PST