[sv-ac] RE: call to vote on 1900

 
I vote yes with the following minor amendment:

page 7:
checker_instantiation ::=
checker_identifier name_of_instance ([list_of_port_connections]) ;

should be same as page 32:
checker_identifier name_of_instance ([list_of_checker_port_connections])
;


also, on page 23 it is written:
always_check @clk
a <= b && $future_gclk(c);
The equivalent form after rewriting is:
assign a = $changed_gclk(clk) ? $past_gclk(b) && c : $past_gclk(a);


I think it should be added that there is an assumption that all those
signals do not change between edges of the global clock , otherwise in
simulation a bad definition of global clock (that is a definition of an
event which isn't necessarily the fastest one) means the above isn't
equivalent (since if you look at the value of "a" thus by the assign the
values of  "clk" or "c" between edges of the global clock you can see
different values than those in the actual edge of the global clock).

Yaniv



-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Monday, December 31, 2007 18:58
To: sv-ac@eda.org
Cc: doron.bustan@intel.com; eduard.cerny@synopsys.com; Fais Yaniv;
Havlicek John; dmitry.korchemny@intel.com;
Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
piper@cadence.com; erik.seligman@intel.com; bassam.tabbara@synopsys.com;
thomas.thatcher@sun.com
Subject: call to vote on 1900

Hi Folks:

Since my last call to vote on 1900 did not reach the reflector, I am
calling for a new, 1-week vote.  This is that call.

I have copied the eligible voters individually because the reflector
seems unreliable.

Please send your ballot both to the reflector and to me individually.

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1900

- Called on 2007-12-31, final ballots due by 2008-01-07 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[--------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)  v[xxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv
Fais (Freescale)  t[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)  v[xxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
Manisha Kulshrestha (Mentor Graphics)
n[----------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
Graphics)  n[-------x------------x--xxx.....................] Joseph Lu
(Altera)  v[xxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)  n[-------------------------x--x-xx--xx-xxxxxxx-x-]
Hillel Miller (Freescale)
v[xxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
v[xxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
n[-----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)  v[xxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)  v[xxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............]
Tom Thatcher (Sun Microsystems)
   |----------------------------------------------- attendance on
2007-12-18
 |------------------------------------------------- voting eligibility
for this ballot
|-------------------------------------------------- email ballots 
|received

        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = chair eligible to vote only to make or break a tie

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