From: Joseph Skudlarek (jskud@analogy.com)
Date: Wed Aug 12 1998 - 12:56:07 PDT
BAD MSG:
Per Maq's remarks at the last meeting, I've split up my updates, and am
ending them to each task force. Here's what I have for the behavioral
task force. Questions to me. /Jskud
Content-Length: 2090
X-Lines: 64
X-Status: $$$$
X-UID: 0000000606
Status: RO
-*- Mode: indented-text; tab-width: 8 fill-column: 72 -*-
LIVE DOCUMENT: </homes/jskud/1364/behav_submit>
LAST UPDATED: <08/12/98 12:55:36 Joseph Skudlarek>
<p> Proposed Changes For
IEEE 1364
LRM Draft 1 of 29Jun98
Behavioral Task Force
<p>=======================================================================
Purpose
=======================================================================
Propose changes to draft 1 of LRM.
<p>=======================================================================
Do All Nets Model Strength?
=======================================================================
[NB: submitted to both ASIC and Behavioral Task Forces, since
impacts both section 3 and 7.]
question
Do all nets model strength? There are suggestions that they
don't; eg, page 17 section 3.7.1 --
Logical conflicts from multiple sources on a wire or a tri
net result in unknown values unless the net is controlled by
logic strength.
proposal
clarify LRM as appropriate, based on discussion
<p>=======================================================================
Detailed Edits
=======================================================================
page 17 section 3.7.1 -- replace
Logical conflicts from multiple sources on a wire or a tri net
result in unknown values unless the net is controlled by logic
strength.
with
Logical conflicts from multiple sources of the same strength on
a wire or a tri net result in x (unknown) values.
page 22 section 3.7.4 -- add after 1st paragraph
A tri0 net is equivalent to a wire net with a continuous 0 value
of pull strength driving it. A tri1 net is equivalent to a wire
net with a continuous 1 value of pull strength driving it.
<p>=======================================================================
[]
=======================================================================
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:52:59 PDT
and
sponsored by Boyd Technology, Inc.