Date: Tue Aug 04 2015 - 07:41:06 PDT
How would a default first_match be overridden on a case-by-case basis? In the example assert property(@(posedge clk) a ##[1:$]b |-> c); a cleaner solution is assert property(@(posedge clk) a ##1 b[->1] |-> c); J.H. From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Dmitry Korchemny Sent: Monday, August 03, 2015 1:20 PM To: hdlcohen@gmail.com; sv-ac@eda-stds.org Subject: RE: [sv-ac] {Disarmed} SVA: 0005378: Add a "default first_match" Hi Ben, First match is an expensive operator, especially when assertions are synthesized into an automaton. Therefore, doing it by default may bring significant redundant complexity without the user be aware of it. Why not to specify it explicitly when really needed? Thanks, Dmitry From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Ben Cohen Sent: Monday, August 03, 2015 8:58 PM To: sv-ac@eda-stds.org; Korchemny, Dmitry Subject: [sv-ac] {Disarmed} SVA: 0005378: Add a "default first_match" http://www.eda-stds.org/svdb/view.php?id=5378 Ben Cohen [Image removed by sender. Web Bug from https://mailtrack.io/trace/mail/e4f32aae74ca8cd2a6c30244fd8ca6254c111f54.png] -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
