EDA.org Mantis
Mantis Bugtracker

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 ? file icon 2412_SequenceContextInference.docx [^] (37,572 bytes) 2010-08-17 10:24
pdf file icon 2412_SequenceContextInference.pdf [^] (127,813 bytes) 2010-08-17 10:24

- Relationships
related to 0002271assignedTapan Kapoor sequence events require a clocked sequence 

-  Notes
User avatar (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.
User avatar (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
Powered by Mantis Bugtracker