luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added platform-independent random-number generator to 'fraig'.

This commit is contained in:
Alan Mishchenko 2012-09-05 19:50:32 -07:00
parent cd2bd70865
commit 4393a5fade
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/proof/fraig/fraigInt.h
View File

@ -72,7 +72,8 @@ ABC_NAMESPACE_HEADER_START
#define FRAIG_NUM_WORDS(n) (((n)>>5) + (((n)&31) > 0))
// generating random unsigned (#define RAND_MAX 0x7fff)
#define FRAIG_RANDOM_UNSIGNED ((((unsigned)rand()) << 24) ^ (((unsigned)rand()) << 12) ^ ((unsigned)rand()))
//#define FRAIG_RANDOM_UNSIGNED ((((unsigned)rand()) << 24) ^ (((unsigned)rand()) << 12) ^ ((unsigned)rand()))
#define FRAIG_RANDOM_UNSIGNED Aig_ManRandom(0)
// macros to get hold of the bits in a bit string
#define Fraig_BitStringSetBit(p,i) ((p)[(i)>>5] |= (1<<((i) & 31)))
@ -345,6 +346,9 @@ struct Fraig_HashTableStruct_t_
/// GLOBAL VARIABLES ///
////////////////////////////////////////////////////////////////////////
// random number generator imported from another package
extern unsigned Aig_ManRandom( int fReset );
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////

3
src/proof/fraig/fraigMan.c
View File

@ -188,7 +188,8 @@ Fraig_Man_t * Fraig_ManCreate( Fraig_Params_t * pParams )
// set the random seed for simulation
// srand( 0xFEEDDEAF );
srand( 0xDEADCAFE );
// srand( 0xDEADCAFE );
Aig_ManRandom( 1 );
// set parameters for equivalence checking
if ( pParams == NULL )