Subject: RE: SDL-News: Specifying capacities of queues, ...
From: Heinz Kabutz (Heinz.Kabutz#DataVoice.co.za)
Date: Wed May 27 1998 - 15:04:50 GMT
The originator of this message is responsible for its content.
-----From Heinz Kabutz <Heinz.Kabutz#DataVoice.co.za> to sdlnews -----
Bernd,
For our SDL Performance analysis toolset DNAsty, we also use external
data to specify maximum signal queue lengths and channel capacities.
That way, we didn't have to extend the SDL/PR syntax, which meant that
existing parsers such as the ObjectGEODE API could be reused. It could
be useful to specify such bounds using the CIF if all the tool
developers agree on a common format.
Heinz Kabutz
>-----Original Message-----
>From: Philippe Leblanc [SMTP:leblanc#tlse.verilog.fr]
>Sent: Wednesday, 27 May, 1998 14:05
>To: 'Bernd Grahlmann'
>Cc: sdlnews#sdl-forum.org
>Subject: RE: SDL-news: Specifying capacities of queues, ...
>
>The originator of this message is responsible for its content.
>-----From Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews -----
>
>Bernd,
>
>In the ObjectGEODE toolset, the limitation of queue sizes or process instance
>creations is not specified in the SDL model but by means of filtering
>commands in the Simulator-Validator.
>
>For example to limit to 5 the maximum number of messages stored in the queue
>of the 2nd instance of process p1, you must enter the following command:
>filter length (p1(2)!queue) > 5
>
>To prohibit the creation of the 6th instance of process p2, you must enter:
>filter create p2(6)
>
>Therefore, you can easily change your constraints and observe the resulting
>model behavior (which is strictly a subset of the unconstrained model
>behavior, filtering does not change the model semantics), without modifying
>the model itself.
>
>Regards,
>
>
>Philippe Leblanc
>
>--
>Tel.: +33 (0)5 61 19 29 33
>Switchboard: +33 (0)5 61 19 29 39
>Fax: +33 (0)5 61 40 84 52
>Email: leblanc#verilog.fr
>VERILOG S.A.
>BP 1310
>F-31106 Toulouse Cedex - France
>http://www.verilogusa.com
>
>
>----------
>De: Bernd Grahlmann[SMTP:bernd#informatik.uni-hildesheim.de]
>Date d'envoi: mardi 26 mai 1998 14:53
>A: sdlnews#sdl-forum.org
>Objet: SDL-news: Specifying capacities of queues, ...
>
>The originator of this message is responsible for its content.
>-----From bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) to sdlnews
>-----
>
>Dear SDL users and tool builders,
>
>we are currently integrating SDL support into our verification tool `PEP'.
>As far as verification is concerned, it makes sense to restrict the
>capacity of channels and input queues, as well as the maximal number of
>instances of a procedure which may be concurrently active. In order to
>be compatible with other (existing) tools, I would like to know `if' and
>`how'
>these bounds can be (explicitly) specified in the phrase representation (PR)
>within other tools.
>
>Any hints are much appreciated.
>
>Cheers,
>Bernd
>
>*********************************************************************
>Bernd Grahlmann Universit"at Hildesheim
>Dipl. Inform. Institut f"ur Informatik
>
>Telefon (+49) 05121 / 883 -760 /-740 Samelsonplatz 1
>Telefax (+49) 05121 / 860 475 D-31141 Hildesheim
>
>bernd#informatik.uni-hildesheim.de
>http://www.informatik.uni-hildesheim.de/~bernd/HomePage.html
>*********************************************************************
>
>-----End text from bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) to
>sdlnews -----
>For help, email "majordomo#sdl-forum.org" with the body of your email as:
> help
>or (iff this does not answer your question) email:
>owner-sdlnews#sdl-forum.org
>
>
>-----End text from Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews
>-----
>For help, email "majordomo#sdl-forum.org" with the body of your email as:
> help
>or (iff this does not answer your question) email:
>owner-sdlnews#sdl-forum.org
-----End text from Heinz Kabutz <Heinz.Kabutz#DataVoice.co.za> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT