Subject: RE: SDL-News: How is Nondeterminism in SDL practically useful?
Kamal.Hashmi#icl.com
Date: Mon Jun 26 2000 - 13:27:10 GMT
Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From Kamal.Hashmi#icl.com to sdlnews -----
Hello,
As you have noted, non-determinism is essential for system
specification usually in order to correctly define the allowable
design space, and also to represent the environment.
It is also considered useful for test specifications,
but actually it is the pseudo-random number generator which
usually underlies many executable models of non-determinism which
is useful - true non-determinism would be non-repeatable and hence
useless in a test specification.
I can see no use for non-determinism in an actual design except
perhaps as a high-level shortcut (or "abstraction") for a design
which will include a random number generator (for example a
lottery machine) - and such designs are rare.
- Kamal.
-----Original Message-----
From: Ajai James [mailto:ajaijames#hotmail.com]
Sent: 26 June 2000 13:57
To: sdlnews#sdl-forum.org
Subject: SDL-news: How is Nondeterminism in SDL practically useful?
Dear SDL expert,
As we see SDL has ways of representing nondeterminism in the language , like
Spontaneous transition, "Any" expression and non deterministic decision.
These facilities are fine for representing nondeterminism while "specifying"
a system. But can anyone suggest how this facility will be practically
useful when we start using SDL for "designing an implementation"( ie.
typically where do we use a "None" input signal or "ANY" expression or "ANY"
in a decision.).
Ajai James
------------------------------------------------------------------------
M.M.Kamal Hashmi Design Automation Centre,
mailto:Kamal.Hashmi#IEEE.org International Computers Ltd.,
Tel.+44 161 223 1301 x4439 Wenlock Way, West Gorton,
Fax.+44 161 230 5757 Manchester, M12 5DR, U.K.
-----End text from Kamal.Hashmi#icl.com to sdlnews -----
For extra SDL Forum Society benefits, join at <http://www.sdl-forum.org/Society/members.htm>
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT