Subject: Issue with regards to example on Section 3.8
From: Srikanth Chandrasekaran (schandra@asc.corp.mot.com)
Date: Mon Jan 22 2001 - 22:35:08 PST
Reply To: schandra@asc.corp.mot.com
Organization: Motorola Australia Software Center
X-Mailer: ELM [version 2.5 PL2]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
LOCATION: Section LRM 1.9 (15 dec 1999) section 3.8 (example)
The examples for discipline compatibility need to be re-worked;
there are quite a few issues:
1. discipline highvolt is shown to be derived from discipline
electrical. This is wrong. highvolt's declaration should be:
discipline highvolt
potential Voltage;
flow Current;
potential.abstol = 1;
enddiscipline
2. The fourth dot-point giving a description should be changed.
Discipline mechanical (which does not appear in the example) should be
changed to rotational (which is in the example.
3. The sixth dot-point makes no sense at all in the context of
explaining the example. It should state the following:
* discipline empty is independently compatible with all
other declared disciplines, ie. electrical, highvolt, sig_flow_v,
sig_flow_i, rotational, sig_flow_x, sig_flow_f and logic. This is
because empty has no natures and has no declared domain.
4. The final dot-point also needs some adjustment. The point begins
discussing the disciplines and their compatibility, but then states that
"A connect statement must be used to connect these nets and or ports
together". This final statement should state
"A connect statement must be used to connect nets or ports of these
disciplines together."
5. There is no discipline with an explicit continuous domain
specification. There should be one, perhaps as follows:
discipline continuous_elec
domain continuous;
potential Voltage;
flow Current;
enddiscipline
The explanation should have an extra dot-point similar to this:
* Disciplines electrical and continuous_elec are compatible because the
default domain for electrical is continuous, and the specified natures
for potential and flow are the same.
Sri & Graham
-- Srikanth Chandrasekaran EDA Solutions and Products SBU Phone: +61-8-8203 3592 Fax: x3501 email: schandra@asc.corp.mot.com
This archive was generated by hypermail 2b28 : Mon Jan 22 2001 - 22:39:26 PST