| Anonymous | Login | 2010-09-03 01:59 PDT |
| Main | My View | View Issues | Docs | Wiki |
| Viewing Issue Simple Details [ Jump to Notes ] [ Wiki ] | [ View Advanced ] [ Issue History ] [ Print ] | ||||||
| ID | Category | Severity | Date Submitted | Last Update | |||
| 0002412 | [SystemVerilog P1800] SV-AC | minor | 2008-06-16 07:35 | 2010-08-18 00:23 | |||
| Reporter | Dmitry Korchemny | View Status | public | ||||
| Assigned To | Anupam Prabhakar | ||||||
| Priority | normal | Resolution | fixed | ||||
| Status | resolved | Product Version | |||||
| Summary | 0002412: Allow clock inference in sequences | ||||||
| Description |
Currently the missing clock may be inferred in the concurrent assertions, but not in triggered sequence methods. E.g., default clocking @(posedge clk) endclocking sequence s; x ##1 y; endsequence always_comb a = s.triggered; // Will not compile This feature is important for checkers. |
||||||
| Additional Information | |||||||
| Tags | No tags attached. | ||||||
| Type | Enhancement | ||||||
| Attached Files |
 2412_SequenceContextInference.docx [^] (37,572 bytes) 2010-08-17 10:24 2412_SequenceContextInference.pdf [^] (127,813 bytes) 2010-08-17 10:24 |
||||||
|
|
|||||||
 Relationships |
||||||
|
||||||
|
Notes |
|
 (0009638)Eduard_Cerny (developer) 2010-08-16 06:47 |
I am no sure if we really have to go through with the hidden inferences while there is already a possibility to get inference using $inferred_clock. Consider the following example: module m; bit clk, a, b; default clocking @(posedge clk); endclocking sequence s(clk = $inferred_clock); @clk a; endsequence : s AA: assert property(@clk s().triggered); always @(s()) begin wait (s().triggered); end endmodule : m in the assertion, it should infer from clock flow, in always from default clocking. Perhaps the only change required is to explicitly state that clock can be inferred in the actual arguments to sequences with .triggered and .matched. |
 (0009647)Dmitry Korchemny (manager) 2010-08-18 00:23 |
Passed by voice vote 2010-08-17: 11y/0n/0a. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2008-06-16 07:35 | Dmitry Korchemny | New Issue | |
| 2008-06-16 07:35 | Dmitry Korchemny | Type | => Enhancement |
| 2008-06-17 12:54 | shalom | Issue Monitored: shalom | |
| 2008-08-18 19:11 | Bassam Tabbara | Issue Monitored: Bassam Tabbara | |
| 2010-04-06 04:25 | shalom | Category | SV-SC => SV-AC |
| 2010-06-29 11:32 | Dmitry Korchemny | Status | new => assigned |
| 2010-06-29 11:32 | Dmitry Korchemny | Assigned To | => Anupam Prabhakar |
| 2010-06-29 11:33 | Dmitry Korchemny | Priority | urgent => normal |
| 2010-07-05 01:08 | shalom | Relationship added | related to 0002271 |
| 2010-07-19 14:30 | Anupam Prabhakar | File Added: SequenceContextInference.docx | |
| 2010-07-19 14:31 | Anupam Prabhakar | File Added: SequenceContextInference.pdf | |
| 2010-08-03 10:44 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-03 10:44 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-03 10:44 | Anupam Prabhakar | File Deleted: SequenceContextInference.docx | |
| 2010-08-03 10:44 | Anupam Prabhakar | File Deleted: SequenceContextInference.pdf | |
| 2010-08-09 22:29 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.docx | |
| 2010-08-09 22:29 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.pdf | |
| 2010-08-09 22:30 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-09 22:31 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-10 10:11 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.docx | |
| 2010-08-10 10:11 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.pdf | |
| 2010-08-10 10:12 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-10 10:12 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-16 06:47 | Eduard_Cerny | Note Added: 0009638 | |
| 2010-08-17 10:07 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:07 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.pdf | |
| 2010-08-17 10:07 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:08 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-17 10:16 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:16 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.pdf | |
| 2010-08-17 10:17 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:17 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-17 10:24 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:24 | Anupam Prabhakar | File Deleted: 2412_SequenceContextInference.pdf | |
| 2010-08-17 10:24 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.docx | |
| 2010-08-17 10:24 | Anupam Prabhakar | File Added: 2412_SequenceContextInference.pdf | |
| 2010-08-18 00:23 | Dmitry Korchemny | Note Added: 0009647 | |
| 2010-08-18 00:23 | Dmitry Korchemny | Status | assigned => resolved |
| 2010-08-18 00:23 | Dmitry Korchemny | Resolution | open => fixed |
| 2010-08-18 00:23 | Dmitry Korchemny | Fixed in Version | => 1800-2012 |
| Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |  |
