| SV-AC Straw Poll on Extensions 11/17/03 | ||||||||||||||||||||
| 1 => yes, 0 => no | ||||||||||||||||||||
| Haque | Samad | Armoni | Dudani | Eisner | Havlicek | Ho | Krolnik | Lu | Nikhil | Roy | Seawright | Tabbara | Singh | O'Dell | Miller | Total | ||||
| ext-1 | assume directive for concurrent assertion to be used as environment, random test generation constraint | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-1 | assume directive for concurrent assertion to be used as environment, random test generation constraint | ||||||||||
| ext-2 | assume directive that must hold for all times (assumed immediate) | 1 | 1 | 1 | 0 | 0 | 0 | 3 | ext-2 | assume directive that must hold for all times (assumed immediate) | ||||||||||
| ext-3 | alignment/ synchronization with testbench constraints language, clarify on usage/application differences | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-3 | alignment/ synchronization with testbench constraints language, clarify on usage/application differences | ||||||||||
| ext-4 | local variable reference outside of containing assertion | 1 | 1 | 1 | 1 | 0 | 4 | ext-4 | local variable reference outside of containing assertion | |||||||||||
| ext-5 | non-blocking clocked assignment variables to be assigned within assertion block | 0 | 0 | 1 | 1 | 1 | 0 | 3 | ext-5 | non-blocking clocked assignment variables to be assigned within assertion block | ||||||||||
| ext-5 new | Temporal functions | 1 | 1 | 2 | ext-5 new | Temporal functions | ||||||||||||||
| ext-6 | Message reporting using assertion values, debug sampled variable assignments | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-6 | Message reporting using assertion values, debug sampled variable assignments | ||||||||||
| ext-7 | Support parameters for assertions, extend to allow sequence as parameter | 0 | 0 | 1 | 0 | 1 | 0 | 2 | ext-7 | Support parameters for assertions, extend to allow sequence as parameter | ||||||||||
| ext-8 | Extend module to support passing sequences and properties, extend port list | 1 | 1 | 1 | 1 | 0 | 4 | ext-8 | Extend module to support passing sequences and properties, extend port list | |||||||||||
| ext-9 | Allow passing of infinite range as argument to properties and sequences, consider possibility of alternate syntax for infinite | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-9 | Allow passing of infinite range as argument to properties and sequences, consider possibility of alternate syntax for infinite | ||||||||||
| ext-10 | Extend implication to support nesting of implication, extend implication to support nesting of implication with multiple clocks. | 1 | 1 | 1 | 1 | 0 | 4 | ext-10 | Extend implication to support nesting of implication, extend implication to support nesting of implication with multiple clocks. | |||||||||||
| ext-11 | Extend properties to allow dynamic and recursive calls to a property. Support creation of recursion to dynamically create list of properties based on values. | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-11 | Extend properties to allow dynamic and recursive calls to a property. Support creation of recursion to dynamically create list of properties based on values. | ||||||||||
| ext-12 | support boolean connectives like conjunction (AND) on properties (possibly together with nesting) | 1 | 1 | 1 | 1 | 0 | 4 | ext-12 | support boolean connectives like conjunction (AND) on properties (possibly together with nesting) | |||||||||||
| ext-13 | enable assertions to be used within functions in procedural scope. Ability to keep assertions with design code inside of funtions. | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-13 | enable assertions to be used within functions in procedural scope. Ability to keep assertions with design code inside of funtions. | ||||||||||
| ext-14 | enhance gated clock support, extend past functionality to allow conditional evaluation of number of clock cycles | 1 | 1 | 1 | 1 | 1 | 1 | 6 | ext-14 | enhance gated clock support, extend past functionality to allow conditional evaluation of number of clock cycles | ||||||||||
| ext-15 | report interface assertion messages in child scope of where interface is attached, give attached child name, for better analysis/debug of context for assertion analysis | 1 | 1 | 2 | ext-15 | report interface assertion messages in child scope of where interface is attached, give attached child name, for better analysis/debug of context for assertion analysis | ||||||||||||||
| ext-16 | Extend modport to enable assertions in modport statement. | 1 | 1 | 1 | 1 | 1 | 0 | 5 | ext-16 | Extend modport to enable assertions in modport statement. | ||||||||||
| JH-1 | accessing local vars | 1 | 1 | 1 | 1 | 1 | 5 | JH-1 | accessing local vars | |||||||||||
| JH-2 | sampling local vars | 1 | 1 | 1 | 1 | 1 | 5 | JH-2 | sampling local vars | |||||||||||
| JH-3 | clock flow | 1 | 1 | 1 | 1 | 1 | 5 | JH-3 | clock flow | |||||||||||
| JH-4 | generalized implication | 1 | 1 | 1 | 1 | 1 | 0 | 5 | JH-4 | generalized implication | ||||||||||
| JH-5 | property conjunction | 1 | 1 | 1 | 1 | 1 | 5 | JH-5 | property conjunction | |||||||||||
| JH-6 | property disjunction | 1 | 1 | 1 | 1 | 1 | 5 | JH-6 | property disjunction | |||||||||||
| JH-7 | property if else | 1 | 1 | 1 | 1 | 1 | 5 | JH-7 | property if else | |||||||||||
| JH-8 | property instances | 1 | 1 | 1 | 1 | 1 | 0 | 5 | JH-8 | property instances | ||||||||||
| JH-9 | property negation | 1 | 1 | 1 | 1 | 1 | 0 | 5 | JH-9 | property negation | ||||||||||