[sv-ec] AI-26

Subject: [sv-ec] AI-26
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Nov 04 2003 - 15:09:36 PST

• Next message: David W. Smith: "[sv-ec] Posted LRM Changes"
• Previous message: David W. Smith: "[sv-ec] RE: [sv-bc] Copy of Packages_Sep_V8.pdf"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Greetings,

Attached are the 2 files that complete AI-26.

Constraints.pdf - Full updated constraints proposal including:
    - Changes to turn system tasks set_randstate/get_randstate/srandom into methods (sections
12.10.3 - 12.10.4)
    - Changes to constraint guards. A new section 12.4.11 supersedes the previous section on handle
guards.

Process-Control-AI26.pdf - Changes to the process control proposal to include
    - Process methods to manipulate per-process RNG using srandom/set_randstate/get_randstate
methods.

    Arturo

• application/pdf attachment: Constraints.pdf

• application/pdf attachment: Process-Control-AI-26.pdf

• Next message: David W. Smith: "[sv-ec] Posted LRM Changes"
• Previous message: David W. Smith: "[sv-ec] RE: [sv-bc] Copy of Packages_Sep_V8.pdf"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Nov 04 2003 - 15:25:14 PST