[sv-ac] Roadmap of suggested enhancements (mantis #1530)

Hi all,

I committed to send the roadmap of the submission of the enhancements I
presented in the P1800 meeting in San Jose 03/20/2007. Here is the
roadmap along with the mantis item numbers for the already submitted
enhancements. Though not all submitted enhancements are mature, your
comments are welcome.

== Compiler directives
* compiler directive extension
#1084 - `ifdef boolean combination of identifiers
#1563 - allow macro argument passing by name, like task/funcs
#1571 - Add default values for macro arguments
#1621 - define multi-line macros without backslashes
#1697 - preprocessor `for loop

Further refinement is expected in 06'07

* user-given compile time messages
#1620 - allow user-defined compile/elaboration-time checks
#1769 - Elaboration time user assertion and error reporting tasks


== Metalanguage
* let statement
#1728 - Introduce "let"statement

* context value functions
#1674 - Context value functions

* generate constructs inside sequences and properties
#1646 - Generate constructs within properties and sequences

* type query functions
#1647  - Type query functions

* default disable statement
#1648 - Default reset for assertions

* argument list processing
#1566 - allow variable number of arguments to task/funcs, macros, etc.
Elaboration expected in 06'07


== Immediate and final assertions
* immediate assumptions and coverage
#1729 - Introduce immediate assume and cover statements

* final assertions
Submission expected in 06'07


== Cycle based verification
* global clocking
#1681 - Introduce global clocking

* next value functions
#1682 - Future value functions


== Temporal logic
* rejecton/accepton operators
#1757 - Property resets: accepton(b) P, rejecton(b) P

* LTL operators
Submission expected in 05'07

* Boolean implication and equivalence
#1758 - Boolean implication -> and equivalence <->


== Assertion modeling
* assertion modeling
Submission expected in 08'07

* model verification statement
Submission expected in 05'07


== Checkers
* checkers
Submission expected in 08'07

* concurrent assertions in procedural for loops
Submission expected in 05'07

Thanks,
Dmitry

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