[sv-ac] Re: ConcurrentAssertNewProposal

Good morning;

As part of this discussion, don't forget assertions in combinatorial 
procedural logic. E.g.

property r3;
         @(posedge mclk)(q != d);
     endproperty

always @(*)
  begin
  if (a)
    begin
    d2 = d1;
    assert property (r3);
    ...
    end
  end

Since the process above may run more than once, the assertion may need to be stopped
due to the presence of new values that cause it to no longer be triggered.



  Thanks.

-- 
    Soli Deo Gloria
    Adam Krolnik
    Director of Design Verification
    VeriSilicon Inc.
    Plano TX. 75074
    Co-author "Assertion-Based Design", "Creating Assertion-Based IP"


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