RE: [sv-ac] ballot result on 1737

Thanks, Lisa. It looks OK now.

 

Dmitry

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Wednesday, November 07, 2007 4:21 PM
To: Korchemny, Dmitry; john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] ballot result on 1737

 

Thanks Dmitry,

 

I have removed the quotes and fixed that remaining font issue.  I am
uploading to Mantis now.

 

Lisa

 

________________________________

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: Wednesday, November 07, 2007 2:46 AM
To: Lisa Piper; john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] ballot result on 1737

 

Hi Lisa,

 

I noticed one more minor issue on page 5. I don't think  that the
expression "!bit'(a!='b0)" needs to be quoted, but in any case the quote
font should match.

 

I wrote some other comments below.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Tuesday, November 06, 2007 8:10 PM
To: john.havlicek@freescale.com; Korchemny, Dmitry
Cc: sv-ac@server.eda.org
Subject: RE: [sv-ac] ballot result on 1737

 

Hi all,

 

I believe I have incorporated all comments.  Dmitry please see my
response to your comments below.  I think I responded separately to the
others already.  The word source and the PDF are on Mantis.  Also, I
have deleted old versions.

 

Lisa

 

[DK]

 

Page 4. "If the bit variables in the previous examples are replaced with

a logic variables" --> "If the bit variables in the previous examples

are replaced with logic variables", also logic should be in bold courier
9.

[Lisa Piper >>>] This required some additional change. The bit array was
changed to a bit based on earlier comments so it should have been: "If
the bit variable in the previous example is replaced with a logic
variable, the assertions embedded in the else clause require different
semantics."  I also had to add back the bit variable in the previous
example. And I also put bit in bold courier 9.

 

Also, I noticed that many of my keywords in the text were of size 10, so
I have changed them to a 9.

 

Later in this statement: "else clause", "else" should be in bold courier
9.

[Lisa Piper >>>] done

 

"r1, r2, r3, and r4 are property_expr". r1, r2, r3, and r4 should be in

courier 9, property_expr should be in italic. Same note regarding page
5.

[Lisa Piper >>>] done.  I also put disable iff in bold courier 9 in that
sentence.

 

"that s1 and s2 are sequence_expr, and the code is as follows". s1 and

s2 should be in bold courier 9, sequence_expr should be in italic. Same

note regarding page 5.

[Lisa Piper >>>] I don't think they should be in bold because they are
not keywords (which is consistent with your previous comment on property
r1-r4) but I did change it to courier 9.

 

[Korchemny, Dmitry] Sure, they should not  be in bold, sorry for the
blind cut and paste. But on the page 4 r4, s1 and s2 are still not in
courier.

 

"The equivalent code must account for 4-state semantics of "a"." a 

should be in courier 9 without quotes.

[Lisa Piper >>>] done

 

Page 5. " length of "a"" a should be in courier 9 without quotes.

[Lisa Piper >>>] done

 

 

 

---------------------------------------------------------------------
Intel Israel (74) Limited
 
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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