Re: [sv-ac] 928 Proposal Updated

Hi John;

 >   assert property foo((posedge clk), a, b);
 >we expect to get something equivalent to
 >   assert property (@((posedge clk)) a |-> b);
 >and "@((posedge clk))" doesn't parse.

You are assuming textual substitution. The compiler team may not choose to use
substitution for this construct.


-- 
     Soli Deo Gloria
     Adam Krolnik
     ZSP Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"