ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rewire_rng.h
Go to the documentation of this file.
1
20
21#ifndef RAR_RNG_H
22#define RAR_RNG_H
23
24/*************************************************************
25 random number generation
26**************************************************************/
27
28#include "base/abc/abc.h"
29
30// Creates a sequence of random numbers.
31// http://www.codeproject.com/KB/recipes/SimpleRNG.aspx
32
34
35#define NUMBER1 3716960521u
36#define NUMBER2 2174103536u
37
38unsigned Random_Int(int fReset);
39
40word Random_Word(int fReset);
41
42// This procedure should be called once with Seed > 0 to initialize the generator.
43// After initialization, the generator should be always called with Seed == 0.
44unsigned Random_Num(int Seed);
45
47
48#endif // RAR_RNG_H
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
unsigned __int64 word
DECLARATIONS ///.
Definition kitPerm.c:36
unsigned Random_Int(int fReset)
Definition rewire_rng.c:25
unsigned Random_Num(int Seed)
Definition rewire_rng.c:43
word Random_Word(int fReset)
Definition rewire_rng.c:37