[sv-ac] Voting Results


Subject: [sv-ac] Voting Results
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Mon Feb 24 2003 - 22:46:16 PST


1Sem1Sequence Implication Operator move to higher levelPassed8
1.1Sem1.1Remove nested implicationPassed2
2Sem2remove check constructFailed-2
4Sem4change always to explicitPassed2
9aSyn3define an implication operator where the lhs will start one cycle later than rhsPassed6
9bSyn4change implication operator to one cycle later than rhsFailed-9
10aSyn5change delay semantic to Cindy Eisner proposalFailed-1
10bSyn5change delay semantic to Surrendra Dudani proposalTie0
11Syn7remove named boolean featurePassed1

Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246




This archive was generated by hypermail 2b28 : Mon Feb 24 2003 - 22:47:11 PST