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
[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, and is
believed to be clean.