Subject: Re: [sv-ec] C Implementation for random number generator
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Mar 11 2003 - 16:38:51 PST
When choosing a random number generator for use with a constraint
solver that supports random stability (i.e. repeatability),it's important
to consider not only its performance for generating pseudo-random
numbers, but also the performance of seeding the generator. It is often
the case that a random generator may be fairly fast, but the seeding cost
may makes its use prohibitive. The seeding is important to generate
relatively uncorrelated pseudo-random sequences. This detail is often
overlooked when selecting a random generator.
Arturo
----- Original Message -----
From: "Stefen Boyd" <stefen@boyd.com>
To: "Stephen Williams" <steve@icarus.com>
Cc: <sv-ec@eda.org>
Sent: Tuesday, March 11, 2003 3:51 PM
Subject: Re: [sv-ec] C Implementation for random number generator
That would be fine if Synopsys wanted to change their
implementation to match an arbitrary choice of the
committee... The intent was to ask for the implementation
in the same fashion as Cadence was asked (and eventually
consented) to provide their implementation of $random.
Stefen
At 03:31 PM 3/11/2003 -0800, Stephen Williams wrote:
>david.smith@synopsys.com said:
> > As the chair for the SV-EC I request that Synopsys make a donation of
> > the C implementation of $srandom and $urandom. This was voted on in
> > today's meeting and the committee voted to request this
> > implementation.
>
>I don't suppose it would be plausible to consider the Mersenne Twister
>random number generator? It's a high quality PRNG specifically intended
>for simulation/modeling use, and the implementations are portable and
>fast.
>
> <http://www.math.keio.ac.jp/~matumoto/emt.html>
>
>Just a thought.
>--
>Steve Williams "The woods are lovely, dark and deep.
>steve at icarus.com But I have promises to keep,
>steve at picturel.com and lines to code before I sleep,
>http://www.picturel.com And lines to code before I sleep."
This archive was generated by hypermail 2b28 : Tue Mar 11 2003 - 16:37:22 PST