RE: [sv-ac] 1932

Hi Doron,

 

Another comment: I think that the description of 1757 needs to be
incorporated into the 1932 proposal instead of referencing it, since
1757 cannot be copied as is into 1757. 1757 has parts that are not
relevant for 1932, e.g., 

"The meaning of accept_on and reject_on is further discussed in
16.12.3."

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bustan, Doron
Sent: Tuesday, January 22, 2008 11:25 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] 1932

 

All,

 

Dmitry show me how to set the font in latex to something close to
courier new bold 9pt - 

\usepackage{times}

\newcommand{\BcrNew}[1]{\mbox{\small\bf\texttt{#1}}}

 

Other minor correction he specify: the eventually at f3.3.3 vacuity
should be s_eventually

 

I upload the new version (also attached)

 

Doron

 

---------------------------------------------------------------------
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.